Various shell scripts (mostly for Bash)