It's my understanding that the history file is updated when the terminal exits. But sometimes my computer crashes out, and the terminal doesn't exit cleanly, and then I lose those commands from my history which is annoying. How can I make it flush immediately, so that the entries still go there even if my computer has a meltdown? At the moment I'm using this workaround, but I feel there should be a better way.
I'm using gnome-terminal on Ubuntu 12.10.
The simplest, working answer to the question "How to save terminal history manually?":
history -a
will append your current session history to the content of the history file.It may also be worth to consider switching to zsh, which has
setopt inc_append_history
("save every command before it is executed").And this question is relevant as well: Is it possible to make writing to .bash_history immediate?
To save bash history manually to a file:
It exports the history to a file called history.txt. You can then view it using your favorite editor.
Answer copied from http://tech.karbassi.com/2007/01/14/view-and-change-bash-history/
The answers in the link that you provided from the Super-Users site shouldn't necessarily be viewed as 'workarounds' to the
history
command's default behavior. The bash shell has some sane, out of the box, default behavior.I would highly recommend reading How can I avoid losing any history lines? for an explanation of what these modifications to
history
are doing. Additionally, there are some reasonable concerns to be aware of as to why this is not the default behavior of thehistory
command.performance - Since you are saving every command from every window with
history -a
, the.bash_history
file can grow quite large and require greater resources to load the bash shell. This can result in longer start up times(for your terminal sessions, not overall system startup, per se.).organization - (from the above article) "the history commands of simultaneous interactive shells (for a given user) will be intertwined. Therefore the history is not a guaranteed sequential list of commands as they were executed in a single shell."
If you are concerned about further securing the bash shell and the .
bash_history
file through auditing, take a look at this article: How do I log history or "secure" bash against history removal?On occasion (e.g. an unstable system, or power failure), I have found the below commands useful.
Add the following lines to your
~/.bashrc
file:Be sure to source your
.bashrc
file using the commandsource ~/.bashrc