svg-to-png.sh

Tue, 14 Jun 2022 17:55:50 +0300

author
Teemu Piippo <teemu.s.piippo@gmail.com>
date
Tue, 14 Jun 2022 17:55:50 +0300
changeset 217
6d95c1a41e6e
parent 162
3ebe1a0ca818
permissions
-rwxr-xr-x

reimplement EditTools as a render layer

#!/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

mercurial