Igor Schein on Thu, 21 Nov 2002 15:26:33 -0500

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Beware the quit = ^\

On Thu, Nov 21, 2002 at 03:25:28PM -0500, Michael Somos wrote:
> pari-users,
>      This is not specific to PARI-GP, but it may be of
> interest anway. I was working away on a session and then :
> left finger to hit the control key. The result is Control-\
> which happens to be the trigger for dumping core. This UNIX
> 'feature' is controlled by the 'stty' command as follows :
> > stty -a|grep quit
> intr = ^c; quit = ^\; erase = ^h; kill = ^u;
> I never have any use for 'quit', but use 'erase' a lot and
> sometimes 'intr' to stop a program. 

^\ is useful to kill tty programs that trap other signals, including
^c.  In particular, when I pipe something to gp from shell command
like 'echo pari_command | gp', ^c is trapped, so if I wanna quit, I
need to use ^\.