Increase .bash_history size limit to 10,000 lines