On 5/14/24 7:15 PM, Koichi Murase wrote:
In case we talk about different designs, I assume the following one:
* `source name' searches the files in BASH_SOURCE_PATH, PATH, and the
current working directory.
No, I'm proposing that this behavior be the default, without the option:
* `source -i name', if it would be added, searches the files in
BASH_SOURCE_PATH (excluding PATH and the current working directory
unless `.' is included in BASH_SOURCE_PATH).
--
``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/
