A collection of useful bash functions and settings