Mercurial Mercurial > repos > isabelle / annotate
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.
lib/scripts/ucat
author wenzelm
Tue, 22 Apr 1997 11:37:12 +0200
changeset 3007 e5efa177ee0c
parent 2579 4af1023fc6bf
permissions -rwxr-xr-x
removed -norc;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3007
e5efa177ee0c removed -norc;
wenzelm
parents: 2579
diff changeset 
     1
 
#!/bin/bash
2306
0aadfaf8557a ucat - uninterruptible cat
wenzelm
parents:
diff changeset 
     2
 
#
2307
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     3
 
# $Id$
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     4
 
#
2347
a42c1b835fb3 added -norc option;
wenzelm
parents: 2307
diff changeset 
     5
 
# ucat - uninterruptible cat.
2307
508d2a233dbc *** empty log message ***
wenzelm
parents: 2306
diff changeset 
     6
 







2579






4af1023fc6bf
now uses tee -i instead of perl;



wenzelm


parents: 
2347

diff
changeset




     7


exec tee -i /dev/null "$@"















isabelle