images/genicons.sh
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Thu, 21 Feb 2019 10:17:38 +0300
changeset 2512 69cef4e37ef9
parent 2238 a01a3ed1af2c
child 3569 419f17564583
permissions -rwxr-xr-x
Fix non-marking as manually forced floating point variable if the value isn't integer

For example, if user in debug variable panel set any floating point
variable to 34.3, then it's not shown as forced (blue color) and user
can't release this enforcement.

If user changes the value to 34.0, then enforcement shows
correctly. This is done because binary representation of floating point
numbers in IDE and runtime can be slightly different (double vs float)
and as a result values aren't equal.
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