Terminal

[Markus Schönhaber]

Heike C. Zimmerer:

> And if you want ~ to expand to another user's home directory than the
> current, suffix it by its login name.  E.g., ~sg1/Desktop will expand to
> /home/sg1/Desktop if sg1's home directory is there. 

Indeed. And this should be plain obvious to anyone having read, for
example, the first paragraph of the "Tilde Expansion" section in the
bash manpage.
To anyone but me, that is. I've somehow managed to miss this, until now.
So, thanks for mentioning it!

-- 
Regards
  mks