• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

flags/make_flags.sh@8ccd6fdb30dc (annotated)

flags/make_flags.sh

Tue, 28 Jun 2022 19:49:45 +0300

author

Teemu Piippo <teemu.s.piippo@gmail.com>

date

Tue, 28 Jun 2022 19:49:45 +0300

changeset 301

8ccd6fdb30dc

parent 6

73e448b2943d

permissions

-rwxr-xr-x

Move earcut.h outside src/ directory

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