Misc. scripts, mostly Linux shell scripts