On 1/8/19 1:47 AM, Cuong Manh Le wrote:
> Hi,
>
> I'm not sure this a feature or bug, but:
>
> $ BASH_ARGV0=foo /usr/local/stow/bash/bin/bash -c 'echo "$0"'
> /usr/local/stow/bash/bin/bash
>
> I expect $0 set to foo instead.
Thanks for the suggestion. BASH_ARGV0 comes in as a feature suggested
by the bash debugger, so it's what the debugger can use to replace
the `set0' loadable builtin it includes.
I'll keep this in mind for a future version.
Chet
--
``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/
