[erlang-questions] erlang 21

zxq9@REDACTED zxq9@REDACTED
Sat Jul 7 13:12:58 CEST 2018


Those usability improvements have already been made:

  ^G
Gets you to JCL mode. All Erlangers should be familiar with this. If you're
not, then read up on it and play around. Not much to learn.

  restricted shell
This is the real life saver: picking what commands are allowed to be run by
a user. This gives you a LOT more flexibility and than merely making things
like q() and exit() more special than they already are.

  customized shell over SSH
Even more freedom than a restricted shell definition. You can write some
really awesome remote tools this way (or an entire MUD interface...).
      

halt() and init:stop() are system calls and really shouldn't be the subject
of any human's habit-forming behaviors.

IMO this is a case of the humans ignoring the tools that have been made
available -- making similar things available under different names is not
likely to help.

-Craig


On 2018年7月7日土曜日 13時03分04秒 JST you wrote:
> I would say there is a clear usability flaw here. The shell should be smart
> enough to distinguish which command was typed (^G, ^C or q() or exit() or
> init:stop() or halt()) and whether there is a remote shell active. What it
> would do is to ask user what is his intent or somehow confirm that remote
> shell is active and REMOTE VM will now quit.
> 
> If the shell isn't that smart, there's a great improvement waiting to
> happen.
> 
> 2018-07-07 12:59 GMT+02:00 <zxq9@REDACTED>:
> 
> > A quick anecdote...
> >
> > I and a lot of people on my team used to habitually halt() to exit.
> >
> > Then one day someone abruptly shut down a remote node they were connected
> > to because, well, they had that habit.
> >
> > ^G is a safer habit to form and reminds you where you are at when you hit
> > it, whether connected to a remote node from a local erl shell (want 'q'),
> > or via SSH (want 'exit()').
> >
> > -Craig
> > _______________________________________________
> > erlang-questions mailing list
> > erlang-questions@REDACTED
> > http://erlang.org/mailman/listinfo/erlang-questions
> >
> 





More information about the erlang-questions mailing list