dstiles - 8:46 pm on Dec 6, 2012 (gmt 0)

Graeme - thanks for the logout suggestion: as I said, I haven't really used it before. It closed all of my applications, which is why I didn't want to reboot to begin with, and still hasn't updated the bash history mode. :(