Re: help exit

[Dave D. <dde...@es...>]

Ethan Merritt <merritt@u.washington.edu> writes:

> On Thursday 23 June 2005 07:44 am, Petr Mikulik wrote:
>> I propose this text:
>> 
>> 
>>   The commands `exit` and `quit`, as well as the END-OF-FILE character
>>   (usually  Ctrl-D) terminate input from the current input stream: terminal
>>   session,  pipe, and file input (pipe).
>> 
>>   If input streams are nested (inherited `load` scripts), then reading will
>>   continue in the parent stream. When the top level stream is closed, the
>>   program itself will exit.
>> 
>>   See "help batch/interactive" for more details.
>
> Looks OK to me.
>

Just trying now (inspired by earlier suggested text), gnuplot can have
a sequence of top-level streams.

$ gnuplot <(echo print 3) - <(echo print 4)
3
gnuplot> print 6*7
42
gnuplot> exit
4


dd
-- 
Dave Denholm              <dde...@es...>       http://www.esmertec.com