On Feb 18 2021, Chris Torek wrote: > Just a small point here: > > On Tue, Feb 16, 2021 at 2:17 PM Jan “Khardix” Staněk <khardix@xxxxxxxxx> wrote: >> Well, unless I'm missing something, shouldn't the tilde above be >> expanded by the shell before actually being passed as argument? > > Maybe. Some shells do and some don't: > > $ echo foo=~/foo > foo=~/foo > > bash$ echo foo=~/foo > foo=/home/torek/foo But: $ echo --foo=~/foo --foo=~/foo Andreas. -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
