🚀 go-pugleaf

On Sat, 20 Sep 2008 11:01:09 -0400, S P Arif Sahari Wibowo wrote:

> On Sat, 20 Sep 2008, jellybean stonerfish wrote:
>> From man bash
> 
> Thanks. Unfortunately the man page does not give the exact moment in a
> bash session the history is restored from or saved to the file. Can be
> quite helpful information.

Try adding a HISTFILE=/home/js/filename to your .bashrc or .bash_profile.
Then open a shell and see what history file was loaded, and also what 
HISTFILE is set to.  Maybe putting the line one of your startup files is 
better than putting it in your .logout file.  With a little trial and 
error, you will figure it out.  If not then try adding a line with
{ sleep 10s; HISTFILE=/home/js/filename } to .bashrc or .bash_profile
that might do it.

> 
>> js@blackbox:~$ 
>> js@blackbox:~$ echo $HISTFILE
>> /home/js/filename
>> js@blackbox:~$ exit
> 
> Right. But this is manual intervention. I guess I need to clarify that
> my question is how to do it automatically, i.e. just seconds after the
> history is restored from $HISTFILE pointing the file A, $HISTFILE should
> automatically change to file B.
> 
>> HISTFILE=filename
>> to you .bash_logout
> 
> Thanks. But there are 2 issues with this approach:
> 
> - Will the history saving happen before or after .bash_logout executed?

Testing it on your system is the best way to answer that question.  Maybe 
setting HISTFILE in a startup file would work better so you can use
history -a .


> 
> - That does not help when I use "history -a" in my shell, which I do
> sometime and I am planning to do more often (automated).

> 
> 
> Any other idea?
> 
> Thanks!

Good luck, and let us know if you figure it out.

stonerfish