A collection of useful BASH functions