images/genicons.sh
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Wed, 27 Jun 2018 13:57:03 +0300
changeset 2233 32445e3c9cfc
parent 533 25437efb7ae4
child 2238 a01a3ed1af2c
permissions -rwxr-xr-x
Catch 'clipboard already open' errors in editors

Apparently following commits have not fixed the problem completely,
because it still happens (although not so often).

changeset: 2019:b8f795bdfe9f
user: Andrey Skvortsov <andrej.skvortzov@gmail.com>
date: Fri May 25 17:40:29 2018 +0300
summary: fix hangs on mouse selection in case if wxPython uses wxWidgets with GTK3+ support

changeset: 2018:5ce6d08ff2c7
user: Andrey Skvortsov <andrej.skvortzov@gmail.com>
date: Fri May 25 17:23:15 2018 +0300
summary: make clipboard open minimal time as wxPython documentation recommends
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