release/datafiles/splash_scale.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#!/bin/bash

# Use this script to generate splash.png from splash_2x.png.
# Supposed to give best quality image.
#
# Based on ImageMagic documentation, which is interesting
# to read anyway:
#
#  http://www.imagemagick.org/Usage/filter
#  http://www.imagemagick.org/Usage/filter/nicolas/

convert \
  splash_2x.png \
  -colorspace RGB \
  -filter Cosine \
  -resize 50% \
  -colorspace sRGB \
  splash.png