diff --git a/ci/image_optimize.sh b/ci/image_optimize.sh deleted file mode 100755 index e38a874e7a..0000000000 --- a/ci/image_optimize.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/usr/bin/env bash -# -# Optimize images to reduce the file sizes -# -# Usage: bash image_optimize.sh *.png -# -# Note: Requires pngquant to be installed -# - -if [ "$#" == 0 ]; then - echo "Usage: bash image_optimize.sh *.png" - exit 1 -fi - -if ! [ -x "$(command -v pngquant)" ]; then - echo 'Error: pngquant is not found in your search PATH.' >&2 - exit 1 -fi - -for image in "$@"; do - echo "Optimizing ${image}" - pngquant --skip-if-larger --strip --force --ext .png ${image} -done