Favorite bashisms for inclusion in a .bash_profile