bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH v2 6/8] builtins/source: use source path in isolated mode


From: Chet Ramey
Subject: Re: [PATCH v2 6/8] builtins/source: use source path in isolated mode
Date: Wed, 15 May 2024 09:28:40 -0400
User-agent: Mozilla Thunderbird

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    chet@case.edu    http://tiswww.cwru.edu/~chet/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]