flags/make_flags.sh@3cef3b016330
flags/make_flags.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 6
- 73e448b2943d
- 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 for flag in *.svg do flag_png="${flag%.svg}.png" echo "$flag => $flag_png" inkscape -z -e ${flag_png} -w 64 $flag done
