[GRASS5] signal for shell to write history

[Glynn Clements]

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 at gclements.plus.com>