Posts about bash RSS feed 2014-03-05 12:00Custom Git Prompt 2013-09-06 12:00Gnuplot 2012-09-26 12:00Encoding Hell 2012-09-07 12:00Delete all files except one 2010-12-17 12:00Some lesser-known Bash tricks