On 10/10/22 2:38 AM, konsolebox wrote:
This doesn't look right to me:
# export BASH_ARGV0=fdsafasfas
# bash
# echo "$BASH_ARGV0|$0"
fdsafasfas|fdsafasfas
It's fine. If someone wants to set $0 when the shell starts, this is a way
to do it.
I added this back in 2019 as the result of a user request (which I can't
find right now, naturally).
--
``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/
