src/Tools/xlisten
author paulson
Mon Dec 07 18:26:25 1998 +0100 (1998-12-07)
changeset 6019 0e55c2fb2ebb
parent 2118 7c12923a50c6
permissions -rwxr-xr-x
tidying
     1 #! /bin/sh
     2 #  xlisten -- start a program in one window and create a listener window
     3 #     environment variable $LISTEN specifies the file name
     4 
     5 #create the file!
     6 set -e			#fail immediately upon errors
     7 date > ${LISTEN?'Set this variable to the desired filename'}
     8 
     9 xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
    10 sleep 2
    11 xterm -geo 80x60+0-0 -e teeinput $* &