A bunch of shell scripts that are useful