# zforce: force a gz extension on all gzip files so that gzip will not
# This can be useful for files with names truncated after a file transfer.
# 12345678901234 is renamed to 12345678901.gz
PATH
="/usr/local/bin:$PATH"; export PATH
echo "force a '.gz' extension on all gzip files"
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
if mv "$i" "$new" 2>/dev
/null
; then
echo $i -- replaced with
$new
res
=1; echo ${x}: cannot rename
$i to
$new