miniblog.

← Back to all posts
Argh. Creating a file whose filename with a leading space is a royal pain. Ended up using a Python script just to see what was going on.