images/genicons.sh
author Edouard Tisserant
Thu, 19 Apr 2018 12:22:40 +0200
changeset 1994 1fdc32be71b8
parent 533 25437efb7ae4
child 2238 a01a3ed1af2c
permissions -rwxr-xr-x
Rework of runtime non-real-time threading, and shared object dynamic loading :
- All exposed operations on PLCObject are now serialized through main thread
(@RunInMain). Only one exception : python trace thread calling _GetDebugData
- Re-loading of same shared object is prevented. dlclose/delte/rewrite/dlopen
don't happen in that case. This is a workaround for some xenomai copperplate
bug triggering segfault, inbetween delete and rewrite.
- Trace thread now waits for data, dies if no data, and dies instead of
suspending as before when no data consumed after 3 seconds.
- Disabled threading in Pyro client
- Enforced auxiliary threads starting sequence : Pyro -> [UI] ->
PLCWorker.RunLoop
197
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     1
#!/bin/bash
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
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     5
for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
     6
do
199
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
     7
 if [ $i.png -nt icons.svg ]; then
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
     8
 	echo "Skip $i"
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
     9
 else
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
    10
	rm  -f $i.png
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
    11
	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
    12
	"$INKSCAPE" icons.svg -z -e $i.png -i $i
aa5f43bafad4 minor gui improvements :
etisserant
parents: 197
diff changeset
    13
 fi
197
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
    14
done
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
    15
a50b5fa04c57 SVG/Inkscape based icon generation script + SVG drawing.
etisserant
parents:
diff changeset
    16
cp ico24.png brz.png
533
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 199
diff changeset
    17
convert ico*.png brz.ico
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 199
diff changeset
    18
rm -f ico*.png