[GRASS5] signal for shell to write history

[Sorokine, Alexandre]

Radim,

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
>