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
Mon, 03 Mar 1997 18:25:17 +0100
changeset 2712 44a657985de1
parent 2579 4af1023fc6bf
child 3007 e5efa177ee0c
permissions -rwxr-xr-x
removed -r option; added -p option;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2347
a42c1b835fb3 added -norc option;
wenzelm
parents: 2307
diff changeset 
     1
 
#!/bin/bash -norc
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