svg-to-png.sh

Wed, 25 May 2022 18:29:49 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Wed, 25 May 2022 18:29:49 +0300
changeset 197
0e729e681a2c
parent 162
3ebe1a0ca818
permissions
-rwxr-xr-x

move drawState to Document

158
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
1 #!/bin/bash
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
2 mkdir --parents icons
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
3 for svgfile in $(find icons_svg -name '*.svg')
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
4 do
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
5 pngfile="icons/$(basename ${svgfile%.svg}.png)"
162
3ebe1a0ca818 only render svg to png if the png does not exist
Teemu Piippo <teemu@hecknology.net>
parents: 158
diff changeset
6 if [[ ! -f "${pngfile}" ]]
3ebe1a0ca818 only render svg to png if the png does not exist
Teemu Piippo <teemu@hecknology.net>
parents: 158
diff changeset
7 then
3ebe1a0ca818 only render svg to png if the png does not exist
Teemu Piippo <teemu@hecknology.net>
parents: 158
diff changeset
8 echo "$svgfile => $pngfile"
3ebe1a0ca818 only render svg to png if the png does not exist
Teemu Piippo <teemu@hecknology.net>
parents: 158
diff changeset
9 convert -background none "${svgfile}" "${pngfile}"
3ebe1a0ca818 only render svg to png if the png does not exist
Teemu Piippo <teemu@hecknology.net>
parents: 158
diff changeset
10 fi
158
5bd755eaa5a8 Add icons from ionicons
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
11 done

mercurial