On 2024-01-22 15:59:37 [+0100], Nicolas Schier wrote: > Expanding tilde expandos is traditionally a shell feature, as you > already mentioned; and bash supports also expandos like '~+' and '~-'. > I think, we should leave the shell things in shells. > > Thus, please update your shell scripts to be compliant to their > interpreting shell (e.g. use '$HOME' or switch the shell). I reported that this change silently broke dash users. If you accept this then you could acknowledge it instead of suggesting workarounds. > Kind regards, > Nicolas Sebastian