On 6/1/20 3:34 PM, Oğuz wrote:
> See:
> 
>     $ unset foo
>     $ : <$((foo+=42))
>     bash: 84: No such file or directory
>     $ echo $foo
>     84

Yes. The redirection is evaluated once for the open and again for the
error message.

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

Reply via email to