On Mon, May 20, 2024 at 05:31:05PM +0000, Matheus Afonso Martins Moreira wrote: > >> Why not add a -p option to '.' to specify the path to search. > >> That is > >> . -p "${BASH_SEARCH_PATH-${PATH}}" file > >> would work if someone decided to use the > >> BASH_SOURCE_PATH var name to store the path to use > >> (defaulting to $PATH if that one isn't set). > > > Believe it or not, I had thought of that as well. > > It sidesteps the whole BASH_SOURCE_PATH > > variable brouhaha altogether. > > I think this is a really good solution. I hadn't thought of it. > Users can even make an alias to set a default for themselves. > > -- Matheus
Or even PATH=${BASH_SEARCH_PATH-$PATH} . file without the need to add any options to . or to source. But maybe that too pedestrian? -- Andreas (Kusalananda) Kähäri Uppsala, Sweden .