4 echo 'zfile: file(1) for programs which may be compressed with gzexe'
5 echo usage
: `basename $0` files...
12 if test ! -f "$i" ; then
13 echo `basename $0`: $i not a
file
18 if sed -e 1d
-e 2q
"$i" |
grep "^skip=[0-9]*$" >/dev
/null
; then
19 eval `sed -e 1d -e 2q "$i"`
21 if tail +$skip "$i" |
gzip --list >/dev
/null
2>&1; then
22 tail +$skip "$i" |
gzip -cd |
dd count
=1 >$tmp 2>/dev
/null
23 file $tmp |
sed "s|^$tmp|$i|"