So by default .bash_history stores 500 last used commands. I changed that to 5000 by setting
.bash_profile It seems to work.
Now when I do
history it still prints 500 commands, but now it does so not from 1 to 500, but from 36 to 535 (earlier commands are stored but not printed).
I'd like for
history to print 1000 last used commands. How can I achieve that?
Also recently I tried
history -a and haven't noticed anything change. What does this command do? Man history doesn't help.