[GRASS5] signal for shell to write history

Radim Blazek radim.blazek at gmail.com
Thu Apr 6 05:33:23 EDT 2006

Previous message: [GRASS5] nnbathy [was: Re: [bug #4248] (grass) r.surf.contour: Treats 0 as NULL and other archaic problems]
Next message: [GRASS5] signal for shell to write history
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Radim

Previous message: [GRASS5] nnbathy [was: Re: [bug #4248] (grass) r.surf.contour: Treats 0 as NULL and other archaic problems]
Next message: [GRASS5] signal for shell to write history
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the grass-dev mailing list