fixes problem with duplicate entries in bash_history
bumping history size to avoid losing recent commands