R. L. Dane :debian: :openbsd:🧉 on Nostr: Need some help with bash. No matter what I do with $HISTSIZE and the like, my ...

Need some help with bash.

No matter what I do with $HISTSIZE and the like, my .bash_history file always ends up getting capped at around 1000 lines

~ $ grep HIST /etc/profile .bash* .profile
.bashrc:HISTCONTROL=ignoreboth
.bashrc2:HISTTIMEFORMAT="%F %T "
.bashrc2:HISTFILESIZE=-1
.bashrc2:HISTSIZE=10000

~ $ wc -l .bash_history
933 .bash_history

~ $ history |head -1
1 2024-03-23 14:51:39 ls

~ $ stat /
File: /
...
Birth: 2023-11-09 18:33:14.000000000 -0600