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 [email protected] http://lists.gnu.org/mailman/listinfo/bug-coreutils
