Added some bash niceties, a couple of functions, etc