Misc

How this site works

It’s a bash script that uses pandoc to convert from markdown sources to HTML, then it concatenates the result in between a header (with its title tag changed using sed) and a footer (always verbatim from the file). Source:

BASENAME=$(basename -s ".md" $1)

pandoc $1 -o mid/$BASENAME.main.html
{ sed "s/{TITLE}/$BASENAME/g" src/head.html && cat mid/$BASENAME.main.html src/foot.html; } > $2/$BASENAME.html

Hopefully I’ll get something nicer eventually but it works fine for now.