Allow huge history files

dotfiles/bash/main.bashrc

@@ -42,7 +42,7 @@ export HISTCONTROL=$HISTCONTROL${HISTCONTROL:+:}ignoredups
 export HISTIGNORE=$HISTIGNORE:ls:ll:la:cd
 export HISTIGNORE="$HISTIGNORE:git ap:git cm:git cma:git dc:git st"
 export HISTIGNORE="$HISTIGNORE:se *:sc *"
-export HISTFILESIZE=10000
+export HISTFILESIZE=100000
 export GLOBIGNORE=.:..
 
 # some more aliases