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 :
[snip]
> 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 ^\.
Igor