teeinput
author wenzelm
Tue, 30 Nov 1993 11:07:57 +0100
changeset 172 3224c46737ef
parent 0 a5a9c433f639
permissions -rwxr-xr-x
changed split_filename, remove_ext; added base_name;

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