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 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