Jim Meyering <[email protected]> writes:

> Oddly, with GNU bash, version 4.2.24(1)-release (x86_64-redhat-linux-gnu)
> "export -fn date" does not "unexport" the date function.

Are you sure?

$ date () { :; }; export -f date; bash -c 'type date'; export -fn date; bash -c 
'type date'
date is a function
date () 
{ 
    :
}
date is /bin/date

Andreas.

-- 
Andreas Schwab, [email protected]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."



Reply via email to