flags/make_flags.sh

Tue, 28 Sep 2021 22:14:00 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Tue, 28 Sep 2021 22:14:00 +0300
changeset 143
7b62c52835a1
parent 6
73e448b2943d
permissions
-rwxr-xr-x

Fix memory corruption involving document tools.
I don't think that the metaobject-initialization had anything to do with this
but it is a lot simpler without it anyway.

6
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
1 #!/bin/bash
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
2 for flag in *.svg
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
3 do
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
4 flag_png="${flag%.svg}.png"
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
5 echo "$flag => $flag_png"
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
6 inkscape -z -e ${flag_png} -w 64 $flag
73e448b2943d language support
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
7 done

mercurial