Hi Tobia,
thanks, fixed in SVN 518.
/// Jürgen
On 12/22/2014 09:18 PM, Tobia Conforto
wrote:
Actually, by setting CONTROL-Ds-TO-EXIT 1, I have to type
it twice and I still get the messa
Actually, by setting CONTROL-Ds-TO-EXIT 1, I have to type it twice and I
still get the message, plus the extra blank lines:
$ apl
^D
^D
*** end of input
$
If I set it to 2, I have to type it 3 times, with the message, and so on. I
have tried the latest svn head on both GNU/Lin
Hi Tobia,
thanks, fixed ^D count in SVN 517.
Actuallly, we are not using readline. And the message should not
occur if you
set the control-D count > 0. I would leave the message as is
because this is a
rather unusual situation and the use
Thank you Jürgen.
I'm not sure values > 1 are working properly, but maybe that's just my
system. I've set it to 1 anyways.
As for the output messages, I suggest the attached changes, because 1)
readline is already ending CIN on Ctrl-D, so we don't need to output
another endl; 2) that "*** end of
Hi,
I have added a parameter CONTROL-Ds-TO-EXIT to the
preferences file.
The default 0 is the current behavior. A positive number
tells how many ^Ds in a row
will exit the interpreter. SVN 516.
/// Jürgen
On 12/19/2014 11:54 AM, Jay
(Resending because I forgot to cc the list.)
I agree that this is annoying, especially for new and casual users.
The only good reason I can think of for APL not exiting on Ctrl-D is
that if you accidentally hit Ctrl-D, you could accidentally lose the
whole contents of your workspace.
At least in
Greetings,
Just my two cents.. I really prefer the way GNU APL works now. I
can't tell you how many times I've exited an app with too many ^D's because
of app or line delay only to unintentionally exited the entire SSH and
command shell too! GNU APL works the way APL has always worked - and
Hello
Is there a reason why GNU APL does not exit on EOF, aka. Ctrl-D on cooked
input? Every shell and interpreter I have ever used does so by default.
Maybe there are people who are used to typing "exit" or "logout" by hand,
but for those of us who have always hit Ctrl-D to exit from any interac
