[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

Radim Blazek wrote:

Which signal should I send to shell (bash) with kill() to convince
it to write its history file before it exists?

There isn't a signal which will do this by default, but you could trap
a specific signal (e.g. SIGUSR1) from within the shell and execute
"history -w" upon receipt, i.e.

  trap "history -w" SIGUSR1

--
Glynn Clements <glynn@gclements.plus.com>