Set a value of 10k for HISTFILESIZE