Miscellaneous bash tips 2008-06-13 Ángel Ortega http://www.enricozini.org/2008/tips/bash-tips.html links bash shell script