On 5/14/24 5:26 PM, Koichi Murase wrote:
I see. I was assuming that users who want to completely turn off the
new feature would set an empty BASH_SOURCE_PATH (for both cases
`source name' and `source -i name').
If you don't want to use BASH_SOURCE_PATH, don't set BASH_SOURCE_PATH,
and unset it explicitly if you want to be sure.
`BASH_SOURCE_PATH=' could just mean
the current working directory skipping steps 1 and 2.
That is consistent with other PATH-like variables.
--
``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/
