Trent W. Buck writes: > > You can read directly from the terminal by opening "/dev/tty". > > Hmm... is it *always* /dev/tty? I thought it was e.g. /dev/pts/73 > sometimes.
On the systems I know of /dev/tty will always work. It may be an alias for /dev/pts/73, though. But ... less works over an ssh connection, and obviously opening /dev/tty isn't the right thing there. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
