flags/make_flags.sh@01537fbe096e
flags/make_flags.sh
Tue, 11 Apr 2023 22:51:47 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Tue, 11 Apr 2023 22:51:47 +0300
- changeset 378
- 01537fbe096e
- parent 6
- 73e448b2943d
- permissions
- -rwxr-xr-x
remove now unneeded type alias
#!/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
