How about just comparing the GID of the other user's terminal against the GID of the terminal whose name would have been printed if we'd run "tty"?
_______________________________________________ Bug-coreutils mailing list Bug-coreutils@gnu.org http://lists.gnu.org/mailman/listinfo/bug-coreutils