I lose my Bash history quite often recently. No idea what's happening.
The file is either empty or truncated. As I don't observe any other
data loss, I can only assume that this is a problem specific to Bash.
It's annoying because I make intensive use of the Bash history. This,
however, is a bad habit. I should not rely on something as volatile as
the shell's history. I should create more shell aliases or functions.
It's even worse, some complex commands only exist in my Bash history.
I should document those things.
