diff --git a/bin/scripts/archive-fonts.sh b/bin/scripts/archive-fonts.sh index 59d2301783..ba78992376 100755 --- a/bin/scripts/archive-fonts.sh +++ b/bin/scripts/archive-fonts.sh @@ -45,12 +45,12 @@ do [[ -d "$outputdir" ]] || mkdir -p "$outputdir" # -ic (ignore case not working) - zip "$outputdir/$basename" -rj "$searchdir" -i '*.[o,t]tf' -i '*.[O,T]TF' + zip -9 "$outputdir/$basename" -rj "$searchdir" -i '*.[o,t]tf' -i '*.[O,T]TF' zipStatus=$? if [ "$zipStatus" != "0" ] then echo "$LINE_PREFIX Could not create archive with the path junked (-j option) - likely same font names for different paths, zip status: $zipStatus" echo "$LINE_PREFIX Retrying with full path" - zip "$outputdir/$basename" -r "$searchdir" -i '*.[o,t]tf' -i '*.[O,T]TF' + zip -9 "$outputdir/$basename" -r "$searchdir" -i '*.[o,t]tf' -i '*.[O,T]TF' fi; done