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

flags/make_flags.sh@fe094d0687ad (annotated)

flags/make_flags.sh

Wed, 22 Jun 2022 23:51:06 +0300

author

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

date

Wed, 22 Jun 2022 23:51:06 +0300

changeset 258

fe094d0687ad

parent 6

73e448b2943d

permissions

-rwxr-xr-x

Add widgets to object editor

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