[GRASS5] signal for shell to write history

Sorokine, Alexandre sorokina at ornl.gov
Thu Apr 6 15:06:01 EDT 2006


I do not about the signal but the "history -w" command will force bash
to write current history into the history file (or probably the file
that you specify too).

Alex Sorokine, Ph.D. <sorokina at ornl.gov>
Oak Ridge National Lab

> -----Original Message-----
> From: grass5-admin at grass.itc.it 
> [mailto:grass5-admin at grass.itc.it] On Behalf Of Radim Blazek
> Sent: Thursday, April 06, 2006 5:33 AM
> To: grass5 at grass.itc.it
> Subject: [GRASS5] signal for shell to write history
> Which signal should I send to shell (bash) with kill() to convince
> it to write its history file before it exists?
> Radim
> _______________________________________________
> grass5 mailing list
> grass5 at grass.itc.it
> http://grass.itc.it/mailman/listinfo/grass5

More information about the grass-dev mailing list