images/genicons.sh
author Edouard Tisserant
Mon, 08 Nov 2021 14:06:29 +0100
changeset 3385 18621ce81f5f
parent 2238 a01a3ed1af2c
child 3569 419f17564583
permissions -rwxr-xr-x
SVGHMI: Changes /CURRENT_PAGE_* behaviour to prevent problem whith multiclient : all clients were switching page when one was jumping.
- now PLC have to prefix page name with "!" to order page switch.
- HMI do not prefix with "!" when jumping, this avoiding looping incidently
- In case of multiple client:
CURRENT_PAGE reflects current page of last client hwo did jump
Setting CURRENT_PAGE with "!" affects all clients simultaneously
#!/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