svg-to-png.sh@9f85a54ead29 (annotated)
svg-to-png.sh
Tue, 28 Jun 2022 19:21:37 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Tue, 28 Jun 2022 19:21:37 +0300
- changeset 293
- 9f85a54ead29
- parent 162
- 3ebe1a0ca818
- permissions
- -rwxr-xr-x
Add OpenGL information to about page
| 158 | 1 | #!/bin/bash |
| 2 | mkdir --parents icons | |
| 3 | for svgfile in $(find icons_svg -name '*.svg') | |
| 4 | do | |
| 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 | 11 | done |
