On Mon, Jan 22, 2024 at 04:05:01PM +0100, Sebastian Andrzej Siewior wrote: > 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. I'm sorry, I didn't mean to upset you. Yes, we were aware that the change breaks some usage patterns. Thanks for pointing that out. Kind regards, Nicolas