Useful Bash Functions

2013-05-23 Useful bashrc functions