#!/bin/bash
# YES, THIS NEEDS BASH, NOT /bin/sh (e.g. for <<<).
+# Copyright (2013) Jann Horn <jann@thejh.net>
+# This code is licensed under the AGPLv3.
+
# -f for files with weird names
# -u for coding mistakes (or against, to be precise)
# -e and -o pipefail so that we don't have to spam the code with error handling