B briancarper.net Keeping bash history in sync between multiple terminals 151 points patpng 14 years ago 34 comments