Bash-Functions Miscellaneous collection of Bash functions. These are utility functions to make life at the shell a bit less tedious.