splash_scale.sh 406 B

12345678910111213141516171819
  1. #!/bin/bash
  2. # Use this script to generate splash.png from splash_2x.png.
  3. # Supposed to give best quality image.
  4. #
  5. # Based on ImageMagic documentation, which is interesting
  6. # to read anyway:
  7. #
  8. # http://www.imagemagick.org/Usage/filter
  9. # http://www.imagemagick.org/Usage/filter/nicolas/
  10. convert \
  11. splash_2x.png \
  12. -colorspace RGB \
  13. -filter Cosine \
  14. -resize 50% \
  15. -colorspace sRGB \
  16. splash.png