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,
Sean
More information about the erlang-questions
mailing list