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

flags/make_flags.sh@e81f4ad53efd (annotated)

flags/make_flags.sh

Sat, 08 Apr 2023 16:59:55 +0300

author

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

date

Sat, 08 Apr 2023 16:59:55 +0300

changeset 355

e81f4ad53efd

parent 6

73e448b2943d

permissions

-rwxr-xr-x

Move the about dialog to MainWindow. The hack to retrieve GL extensions is made a bit cleaner

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