#!/usr/bin/env bash # generated by hand at 2026-01-10 links=( "index.html" "lesson-0.html" "lesson-1.html" "lesson-2.html" "lesson-3.html" "practice/primitive-types.html" ) for link in "${links[@]}"; do mkdir -p "$(dirname "./$link")" url="https://womangling.noratrieb.dev/$link" cat > "$link" < Womangling

Womangling has moved, redirecting...

if this doesn't happen automatically, click on the link below

$url EOF done