images/genicons.sh
author Edouard Tisserant
Tue, 13 Jul 2021 16:16:58 +0200
branchsvghmi
changeset 3278 2bcfbea6a2a8
parent 2238 a01a3ed1af2c
child 3569 419f17564583
permissions -rwxr-xr-x
SVGHMI: Fixed typo on session manager unregister, leading to wrong count of sessions and then exceptions when creating more session than allowed in protocol options. Also added more safety check in protocol in case session would be missing.
2238
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     1
#!/bin/sh
197
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     2
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     3
INKSCAPE=inkscape
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     4
2238
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     5
for fname in `ls *.svg`; do
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     6
    for i in `cat $fname |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     7
    do
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     8
        if [ $i.png -nt $fname ]; then
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     9
 	    echo "Skip $i"
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    10
        else
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    11
	    rm  -f $i.png
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    12
	    echo "$INKSCAPE" $fname -z -e $i.png -i $i
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    13
	    "$INKSCAPE" $fname -z -e $i.png -i $i
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    14
        fi
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    15
    done
197
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
    16
done
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
    17
2238
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    18
cp ico024.png brz.png
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    19
convert -compress none ico*.png brz.ico
533
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 199
diff changeset
    20
rm -f ico*.png
2238
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    21
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    22
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    23
convert -compress none poeico*.png poe.ico
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    24
rm -f poeico*.png
a01a3ed1af2c Take plcopen_icons.svg as source of png icons as well
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
    25