set bash history to 10K lines