xlisten
changeset 0 a5a9c433f639
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/xlisten	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,10 @@
     1.4 +#! /bin/sh
     1.5 +#  xlisten -- start a program in one window and create a listener window
     1.6 +#     environment variable $LISTEN specifies the file name
     1.7 +
     1.8 +#create the file!
     1.9 +date > $LISTEN
    1.10 +
    1.11 +xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
    1.12 +sleep 2
    1.13 +xterm -geo 80x45+0-0 -e teeinput $* &