Ask / Submit

Revision history [back]

click to hide/show revision 1
initial version

posted 2019-04-04 08:11:14 +0300

This is not a bug. It's a setting, specifically a setting of your shell and you can look up usage of the HIST* variables in the man page. In your terminal, enter this command to find variables that configure the current behaviour:

set | grep HIST

If you want to change these settings, use the file .bashrc to set them permanently.

This is not a bug. It's a setting, specifically a setting of your shell and you can look up usage of the HIST* variables in the man page. In your terminal, enter this command to find variables that configure the current behaviour:

set | grep HIST

If you want to change these settings, use the file .bashrc to set them permanently.

As @DrYak pointed out, for the shell to actually save the history to a file, you have to quit the shell in a proper way. That is, exiting via Ctrl-D, logout or exit. If you just quit the Terminal app, the shell process will most likely not save its history file.