Except if you ever accidentally open a shell without those settings set (ex: "bash --norc" to get a clean profile) it will trim your decades-long history. Your

Except if you ever accidentally open a shell without those settings set (ex: "bash --norc" to get a clean profile) it will trim your decades-long history. Your HISTFILESIZE is also probably not enough: my .full_history goes back to 2012 and is 2.5x your limit.