A collection of short shell scripts for bash