Set the zsh history to be 10000 lines