Bash just truncated my history file:anhero: (I had over ten thousand entries, this is literally annudah shoah)