Increases bash history size to 5k