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

flags/make_flags.sh@1331aba5d36b (annotated)

flags/make_flags.sh

Mon, 27 Jun 2022 15:55:27 +0300

author

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

date

Mon, 27 Jun 2022 15:55:27 +0300

changeset 274

1331aba5d36b

parent 6

73e448b2943d

permissions

-rwxr-xr-x

Show current subwindow title in main window title

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