author | wenzelm |
Fri, 07 Mar 1997 16:08:36 +0100 | |
changeset 2774 | 4b7b38765619 |
parent 2773 | 36fdd908a26c |
child 2775 | 7a4989d685d6 |
--- a/src/Tools/teeinput Fri Mar 07 15:51:44 1997 +0100 +++ b/src/Tools/teeinput Fri Mar 07 16:08:36 1997 +0100 @@ -1,4 +1,4 @@ #! /bin/sh # teeinput -- start a program and log all inputs to a file # environment variable $LISTEN specifies the file name -tee -a -i $LISTEN | $* \ No newline at end of file +tee -a -i $LISTEN | $*