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

flags/make_flags.sh@676d0b43b577 (annotated)

flags/make_flags.sh

Sat, 08 Apr 2023 15:34:32 +0300

author

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

date

Sat, 08 Apr 2023 15:34:32 +0300

changeset 350

676d0b43b577

parent 6

73e448b2943d

permissions

-rwxr-xr-x

Opening recently opened files works again now

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