mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 13:02:28 +01:00
31 lines
608 B
Bash
Executable file
31 lines
608 B
Bash
Executable file
#!/bin/sh
|
|
|
|
flags=`grep @image mirrors.texi | cut -d" " -f1 | cut -d/ -f2 | tr -d "}" | sort | uniq`
|
|
|
|
set -x
|
|
cd Flags
|
|
|
|
for c in $flags
|
|
do
|
|
# For PNM, to be used later
|
|
giftopnm ../Raw-Flags/$c.gif | pnmscale -xsize 30 > $c-tmp.pnm
|
|
pnmpaste $c-tmp.pnm 1 1 ../Images/flag-background.pnm > $c.pnm
|
|
rm -f $c-tmp.pnm
|
|
|
|
# For GIF version
|
|
ppmtogif $c.pnm > $c.gif
|
|
# or cjpeg -optimize -quality 70 -outfile $c.jpg
|
|
|
|
# For EPS version
|
|
pnmtops -noturn $c.pnm > $c.eps
|
|
|
|
# For PDF version
|
|
ps2pdf $c.eps $c.pdf
|
|
|
|
# For text version
|
|
echo -n "" > $c.txt
|
|
|
|
# PNM isn't really needed
|
|
rm -f $c.pnm
|
|
|
|
done
|