On Tue, Jun 25, 2024 at 11:14 PM Chet Ramey <chet.ra...@case.edu> wrote: > > On 6/19/24 6:12 PM, konsolebox wrote: > > > Alternatively, have BASH_SOURCE always produce real physical paths > > either by default or through a shopt. > > This is the best option. I don't think changing bash to do this by default > would have negative side-effects.
That's great. So will this be implemented soon or will you consider other lazy alternatives first? I already made a patch for it here: https://gist.github.com/konsolebox/a908cf13e511abdf05daec89a9cbdd8d#file-bash-source-real-patch It's pretty simple but I wonder if an error should be raised if for some reason sh_realpath fails. -- konsolebox