was not big enough, but there is another option for missing entries:If you work with multiple shells at the same time, then the history will be (over)written by closing the last shell.But this can be avoided:After adding the following to your .bashrc, you will never miss an entry again ;-):