Disable CTRL G

Sean Hinde sean.hinde@REDACTED
Thu Dec 4 16:41:08 CET 2003

On 3 Dec 2003, at 14:27, Peter Andersson wrote:

> Sean,
> I can see the advantages of being able to disable the JCL menu. I don't
> like the idea of having the restricted shell callbacks handle JCL
> commands.
> Since you would disable the JCL quit option for the same reasons you
> would disable ^C, I still believe +Bi should switch them both off. I'd
> choose to introduce a new start option to give ^G a shell restart
> behaviour (like oldshell) instead of JCL mode, like you suggest. You'd
> have the possibility to force all interaction from the shell to go via
> the prompt or you could choose to have JCL mode enabled but without the
> risky 'q' option. Sounds ok?

Yep. I'd go for that - I never used the other options except to kill 
off the currently running shell process anyway.

Ta muchly,

More information about the erlang-questions mailing list