A heads up notice:
xhost user
gives
xhost: bad hostname "user"
but,
sudo -u user ls /home/user
lists the user's home directory. So the username is valid.
Searched the web and found an ancient thread on xhost on Ubuntu (see
<
https://bugs.launchpad.net/ubuntu/+source/x11-xserver-utils/+bug/60040>),
and it suggested
xhost SI:localuser:user
which does what I wanted.
This is a change since F16, and not mentioned in the manpage. (The
manpage, kind of looks like someone started to bring it up to date and
forgot it in the middle.)
I'd check to see if there is a bug filed, but all the fussing with the
upgrade that ate my winter break leaves me running way behind. No
time. (And not a lot of motivation, frankly.)
--
Joel Rees