beremiz

Rename extension instance 'wxHMI' to 'wxglade_hmi'

2018-08-13, Andrey Skvortsov
73f95ba6d3af
file isExecutable
Rename extension instance 'wxHMI' to 'wxglade_hmi'

It is necessary because of following commit 7f59aa398669 ('WxGlade HMI extension now does
only instanciate wx object who's name match extension's name. If no
object match the name and no code is provided in 'start' user python
code section, then a warning is issued')
#!/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