Re: $IGNOREEOF always modified by `local -'

From	Chet Ramey <chet.ramey@case.edu>
Newsgroups	gnu.bash.bug
Subject	Re: $IGNOREEOF always modified by `local -'
Date	2020-07-27 12:09 -0400
Organization	ITS, Case Western Reserve University
Message-ID	<mailman.146.1595866181.2739.bug-bash@gnu.org> (permalink)
References	<CAMu=BrohSFHV0WEJ4q+vB9ugP6SByEnCmttsDrr-i0P5CG=6jA@mail.gmail.com> <7869d1aa-acf1-fb4c-8532-6ffa968b6718@case.edu>

Show all headers | View raw

On 7/24/20 2:25 AM, Grisha Levit wrote:
> Having IGNOREEOF defined prior to invoking a function that uses `local -'
> causes IGNOREEOF to be set to `10' after the function returns.
> 
>     $ IGNOREEOF=0; f() { local -; }; f; echo $IGNOREEOF
>     10

Yes, that's the default. `local -' saves the state of the option, not the
value of those options backed by variables (which just doesn't scale well).

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
		 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/

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

Thread

Re: $IGNOREEOF always modified by `local -' Chet Ramey <chet.ramey@case.edu> - 2020-07-27 12:09 -0400

csiph-web