teeinput
author lcp
Mon, 31 Oct 1994 18:03:14 +0100
changeset 671 e0be228a9c5b
parent 0 a5a9c433f639
permissions -rwxr-xr-x
Pure/tctical/THEN_ELSE: new

#! /bin/sh
#  teeinput -- start a program and log all inputs to a file
#     environment variable $LISTEN specifies the file name
tee -a -i $LISTEN | $*