src/Tools/xlisten
changeset 2100 4a299f5408b7
parent 0 a5a9c433f639
child 2118 7c12923a50c6
equal deleted inserted replaced
2099:c5f004bfcbab 2100:4a299f5408b7
     1 #! /bin/sh
     1 #! /bin/sh
     2 #  xlisten -- start a program in one window and create a listener window
     2 #  xlisten -- start a program in one window and create a listener window
     3 #     environment variable $LISTEN specifies the file name
     3 #     environment variable $LISTEN specifies the file name
     4 
     4 
     5 #create the file!
     5 #create the file!
     6 date > $LISTEN
     6 set -e			#fail immediately upon errors
       
     7 date > ${LISTEN?'Set this variable to the desired filename'}
     7 
     8 
     8 xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
     9 xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
     9 sleep 2
    10 sleep 2
    10 xterm -geo 80x45+0-0 -e teeinput $* &
    11 xterm -geo 80x45+0-0 -e teeinput $* &