| author | wenzelm |
| Mon, 09 Dec 1996 16:38:28 +0100 | |
| changeset 2344 | c3e1eaea4418 |
| parent 2307 | 508d2a233dbc |
| child 2347 | a42c1b835fb3 |
| permissions | -rwxr-xr-x |
| 2306 | 1 |
#!/bin/bash |
2 |
# |
|
| 2307 | 3 |
# $Id$ |
4 |
# |
|
| 2306 | 5 |
# ucat - uninterruptible cat |
| 2307 | 6 |
# |
| 2306 | 7 |
# NOTE: If perl is unavailable we simply fall back on normal cat! |
| 2307 | 8 |
|
| 2306 | 9 |
|
10 |
PERL=$(type -path perl) |
|
11 |
||
12 |
if [ -z "$PERL" ] |
|
13 |
then |
|
14 |
exec cat "$@" |
|
15 |
else |
|
16 |
exec $PERL -e '$SIG{INT} = "IGNORE"; $| = 1; while (<ARGV>) {print;}' "$@"
|
|
17 |
fi |