Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
teeinput
changeset 0 a5a9c433f639 
--- /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
isabelle