Shell scripts (mainly Bash) that may be of use in automating miscellaneous tasks