src/Tools/xlisten
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