Add Ctrl+D support to ssh and user_drv #983
Conversation
It works similar to the shell in Unix systems and in many languages where Ctrl+D will shut the system down if the current line is empty (i.e. no text before nor after the current cursor position). If there is text after, it will be deleted as previously. If there is text before, a beep sound will be emitted.
|
I wonder if I ever will have the courage to do a Ctrl+D in a |
|
@psyeugenic yeah, I get the feeling. One possible alternative is to show one of Ctrl+C or Ctrl+G menus. We can just close this as well. :D |
|
I'm sorry to say but I can't get in line with this change. I see your point of consistency but .. I can actually envision an entire citys cell service going down with this change. A veteran Erlang DevOps arrives at a site to lend a hand. He does some work at a designated console and hits Ctrl+D to detach when he's done. It's the routine. The Operator in charge says: "Yeah, we didn't actually have a pipe on that console." DevOps: "But it closed.." |
|
Oh, I completely see what you mean now. When using to_erl, Ctrl+D is used on purpose to close the pipe. I thought in your earlier comment you were simply referring to accidentally closing it. I agree with you, this is a bad idea™. I am closing this but at least now we have a reference if folks ask "why can't I close the repl using Ctrl+D". |
|
Continued discussion here: https://bugs.erlang.org/browse/ERL-331 |
It works similar to the shell in Unix systems and
in many languages where Ctrl+D will shut the system
down if the current line is empty (i.e. no text before
nor after the current cursor position).
If there is text after, it will be deleted as previously.
If there is text before, a beep sound will be emitted.
In case of remote nodes, it won't shut down the remote node.