Try and fixe Bash history

Turns out what also breaks it is what might be a bug in Bash causing
HIST* vars in Debian's .bashrc trim the history immediately, before wwe
get a chance to set it to a huge number.

The workaround -- which cannot be done safely within bashum -- is to
comment any HIST* variables in your .bashrc.

dotfiles/config/bashum/main.bashrc

@@ -617,18 +617,17 @@ cal() {
 ### '''' ###
 
 HISTCONTROL=ignoredups:erasedups
-shopt -s histappend
-PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"
+# shopt -s histappend
+# PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"
 
 HISTIGNORE="$HISTIGNORE:ls:ll:la:cd"
-HISTIGNORE="$HISTIGNORE:git dc:git st"
-HISTIGNORE="$HISTIGNORE:reset"
+HISTIGNORE="$HISTIGNORE:git st"
 HISTIGNORE="$HISTIGNORE:se *:sc *"
-HISTSIZE=-1
-HISTFILESIZE=100000
+HISTSIZE=33333
+HISTFILESIZE=33333
 HISTTIMEFORMAT='%F %T '
 GLOBIGNORE=.:..
-shopt -s histverify
+# shopt -s histverify
 
 # some more aliases
 alias cls='clear'