svg-to-png.sh@6988973515d2 (annotated)
svg-to-png.sh
Wed, 25 May 2022 20:36:34 +0300
- author
- Teemu Piippo <teemu@hecknology.net>
- date
- Wed, 25 May 2022 20:36:34 +0300
- changeset 199
- 6988973515d2
- parent 162
- 3ebe1a0ca818
- permissions
- -rwxr-xr-x
Fix pick() picking from weird places on the screen with high DPI scaling
glReadPixels reads data from the frame buffer, which contains data after
high DPI scaling, so any reads to that need to take this scaling into account
| 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 |
