diff -r 000000000000 -r a5a9c433f639 teeinput
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/teeinput	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +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