Just a small point here:
On Tue, Feb 16, 2021 at 2:17 PM Jan “Khardix” Staněk [off-list ref] 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
for instance.
So I actually did my homework and skimmed through the relevant RFCs
(RFC952 and RFC1123); as it turns out, no, it cannot
– only ASCII alphanumerics, '-' and '.' are valid characters.
Right: tilde and slash are both verboten. (Underscore is too, but
that one does get used and some programs allow it.)
Chris