> I am xing fingers the consensus, if any of theses takes off, > is to have the -i implemented (not omitted)
Me too. Do you know anyone else who could be impacted? Consensus might move in that direction if more voices make themselves heard on this list. > if one, distro, sysadmin, and ultimatly the user > fiddle with BASH_SOURCE_PATH in the ENV (*rc files), > changing the good'ol 'source' behavior, > it would be a serious regression to me. That's exactly what I mean. > So to me BASH_SOURCE_PATH enablement must be guarded by a never used yet > option to 'source or dot' (here -i apparently) Agree. I initially chose -l which stands for library but that terminology proved problematic. So I chose -i which stands for isolated, the option "isolates" source to only the directories defined in the new variable. Maybe there's a better word/character. Naming things is hard. > and an enforcement that no alias > source='source -i' could ever be possible. I don't really have any objections to that but I'd say there are probably too many ways for people to get around such a filter. It would probably be ineffective. -- Matheus