diff options
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 |