RE: [GRASS5] signal for shell to write history

GRASS GIS GRASS GIS developer
1

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@ornl.gov>
Oak Ridge National Lab

-----Original Message-----
From: grass5-admin@grass.itc.it
[mailto:grass5-admin@grass.itc.it] On Behalf Of Radim Blazek
Sent: Thursday, April 06, 2006 5:33 AM
To: grass5@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@grass.itc.it
http://grass.itc.it/mailman/listinfo/grass5