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.