Again,  I  lost my Bash history. This is so annoying. I depend on that
 file so much ... that's bad. Maybe I should turn it off altogether.