Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #11193

Re: problem with local -

Show all headers | View raw

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    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: problem with local - Chet Ramey <chet.ramey@case.edu> - 2015-07-12 18:58 -0400

csiph-web