images/genicons.sh
author Edouard Tisserant
Mon, 09 Feb 2015 10:55:06 +0100
changeset 1443 ff8a22d45c44
parent 533 25437efb7ae4
child 2238 a01a3ed1af2c
permissions -rwxr-xr-x
WAMP : prefix callee names with given ID so that multiple PLC and IDE can join the same realm
#!/bin/bash

INKSCAPE=inkscape

for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 
do
 if [ $i.png -nt icons.svg ]; then
 	echo "Skip $i"
 else
	rm  -f $i.png
	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i
	"$INKSCAPE" icons.svg -z -e $i.png -i $i
 fi
done

cp ico24.png brz.png
convert ico*.png brz.ico
rm -f ico*.png