On 6/2/20 9:14 PM, Dale R. Worley wrote:
> Chet Ramey <[email protected]> writes:
>> On 6/1/20 3:34 PM, Oguz 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.
>
> That does seem rather a bug, or at least, a poor error message. Is it
> hard to save the string that was attempted to be opened?
It's clumsy. The code isn't really structured to make this easy. I'll put
it on the list to take a look at.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
