svg-to-png.sh@3cef3b016330
svg-to-png.sh
Tue, 11 Apr 2023 22:39:18 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Tue, 11 Apr 2023 22:39:18 +0300
- changeset 376
- 3cef3b016330
- parent 162
- 3ebe1a0ca818
- permissions
- -rwxr-xr-x
Split GL preferences that affect GL build to a new build preferences structure, modifying that requires rebuild, modifying render preferences does not
#!/bin/bash mkdir --parents icons for svgfile in $(find icons_svg -name '*.svg') do pngfile="icons/$(basename ${svgfile%.svg}.png)" if [[ ! -f "${pngfile}" ]] then echo "$svgfile => $pngfile" convert -background none "${svgfile}" "${pngfile}" fi done
