Posts about bash RSS feed 2017-10-04 20:06Automate Gnome keybindings 2017-08-22 20:34Postscript formatted man pages 2009-02-05 12:11Show last command exit value in Bash shell prompt