diff options
| author | Karl Berry <karl@freefriends.org> | 2009-06-18 17:59:39 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-06-18 17:59:39 +0000 |
| commit | 7c08bfdb116dc52e6817eb10481dd3f20a4132f9 (patch) | |
| tree | bd6770ee3cc652efca53f9925b32f2c672686653 /Build/source/utils/gzip/zforce.in | |
| parent | 105ccc5310edd2930a6a0b687e5629ccb6d4b34c (diff) | |
remove gzip, it is in w32 sources where it belongs
git-svn-id: svn://tug.org/texlive/trunk@13824 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/gzip/zforce.in')
| -rw-r--r-- | Build/source/utils/gzip/zforce.in | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/Build/source/utils/gzip/zforce.in b/Build/source/utils/gzip/zforce.in deleted file mode 100644 index 4ae5763caf8..00000000000 --- a/Build/source/utils/gzip/zforce.in +++ /dev/null @@ -1,42 +0,0 @@ -: -#!/bin/sh -# zforce: force a gz extension on all gzip files so that gzip will not -# compress them twice. -# -# This can be useful for files with names truncated after a file transfer. -# 12345678901234 is renamed to 12345678901.gz - -PATH="BINDIR:$PATH"; export PATH -x=`basename $0` -if test $# = 0; then - echo "force a '.gz' extension on all gzip files" - echo usage: $x files... - exit 1 -fi - -res=0 -for i do - if test ! -f "$i" ; then - echo ${x}: $i not a file - res=1 - continue - fi - test `expr "$i" : '.*[.-]z$'` -eq 0 || continue - test `expr "$i" : '.*[.-]gz$'` -eq 0 || continue - test `expr "$i" : '.*[.]t[ag]z$'` -eq 0 || continue - - if gzip -l < "$i" 2>/dev/null | grep '^defl' > /dev/null; then - - if test `expr "$i" : '^............'` -eq 12; then - new=`expr "$i" : '\(.*\)...$`.gz - else - new="$i.gz" - fi - if mv "$i" "$new" 2>/dev/null; then - echo $i -- replaced with $new - continue - fi - res=1; echo ${x}: cannot rename $i to $new - fi -done -exit $res |