irb saves history; added some bash utilities