On 7/10/15 12:52 PM, isabella parakiss wrote:
> Using local - calls set_ignoreeof() when unwinding "function_calling".
> As a result, you have to press ^D 10 times to exit the shell.
> Anyway, $IGNOREEOF is not changed and shopt -o ignoreeof reports off.
I can't reproduce this. When I test it, with ignoreeof off, it remains off
after I call a function using `local -' and I only have to enter ^D once
to exit when that function returns.
set_ignoreeof() disables `ignoreeof' if the arguments indicate to do so.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
