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

mercurial