Bash Hacks

2013-05-23 Useful bashrc functions