images/genicons.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 09 Dec 2023 01:01:48 +0100
changeset 3882 c7ec55cbd35a
parent 3574 889cbde22ec4
child 3889 e9ad68178d36
permissions -rwxr-xr-x
Fix settings URL: now '/' instead of '/settings'
#!/bin/sh

INKSCAPE=inkscape

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

cp ico024.png brz.png
convert -compress none ico???.png brz.ico
rm -f ico???.png


convert -compress none poeico*.png poe.ico
rm -f poeico*.png