svg-to-png.sh@2637134bc37c
svg-to-png.sh
Fri, 01 Jul 2022 16:46:43 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Fri, 01 Jul 2022 16:46:43 +0300
- changeset 312
- 2637134bc37c
- parent 162
- 3ebe1a0ca818
- permissions
- -rwxr-xr-x
Fix right click to delete not really working properly
Instead of removing the point that had been added, it would remove
the point that is being drawn, which would cause it to overwrite the
previous point using the new point, causing a bit of a delay
#!/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
