From 61e7d83eb1844cb8a5a5763b92653560f7637985 Mon Sep 17 00:00:00 2001 From: Alexander Borsuk Date: Wed, 25 Aug 2021 19:54:32 +0200 Subject: [PATCH] Use the best optimization options for faster skin generation Signed-off-by: Alexander Borsuk --- tools/unix/generate_symbols.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/unix/generate_symbols.sh b/tools/unix/generate_symbols.sh index e41c8318f6..d5af57f2dc 100755 --- a/tools/unix/generate_symbols.sh +++ b/tools/unix/generate_symbols.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail if ! command -v optipng &> /dev/null @@ -111,9 +111,9 @@ rm -rf "$OMIM_PATH"/data/resources-{*} rm -rf "$OMIM_PATH"/data/resources-*_design -for i in mdpi hdpi xhdpi xxhdpi xxxhdpi 6plus; do - optipng -o7 "$OMIM_PATH"/data/resources-${i}_clear/symbols.png - optipng -o7 "$OMIM_PATH"/data/resources-${i}_dark/symbols.png +for i in mdpi hdpi xhdpi xxhdpi xxxhdpi 6plus; do + optipng -zc9 -zm8 -zs0 -f0 "$OMIM_PATH"/data/resources-${i}_clear/symbols.png + optipng -zc9 -zm8 -zs0 -f0 "$OMIM_PATH"/data/resources-${i}_dark/symbols.png done for i in mdpi hdpi xhdpi xxhdpi xxxhdpi 6plus; do