changeset 2100 | 4a299f5408b7 |
parent 0 | a5a9c433f639 |
child 2118 | 7c12923a50c6 |
--- a/src/Tools/xlisten Wed Oct 16 10:37:17 1996 +0200 +++ b/src/Tools/xlisten Fri Oct 18 11:31:33 1996 +0200 @@ -3,7 +3,8 @@ # environment variable $LISTEN specifies the file name #create the file! -date > $LISTEN +set -e #fail immediately upon errors +date > ${LISTEN?'Set this variable to the desired filename'} xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN & sleep 2