womangling/generate.sh
2026-01-10 20:33:12 +01:00

32 lines
No EOL
756 B
Bash
Executable file

#!/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" <<EOF
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Womangling</title>
<meta http-equiv="refresh" content="0; url=$url" />
</head>
<body>
<h1>Womangling has moved, redirecting...</h1>
<p>if this doesn't happen automatically, click on the link below</p>
<a href="$url">$url</a>
</body>
</html>
EOF
done