teeinput
changeset 0 a5a9c433f639
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/teeinput	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,4 @@
     1.4 +#! /bin/sh
     1.5 +#  teeinput -- start a program and log all inputs to a file
     1.6 +#     environment variable $LISTEN specifies the file name
     1.7 +tee -a -i $LISTEN | $*
     1.8 \ No newline at end of file