blob: e8583604586d68c188d5039cb07c0d60b5c781bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
#!/bin/bash
scriptname=$(basename $0)
identify="identify"
usage() {
echo "Usage: $0 fontname"
echo "fontname: The name of the font. Must correspond to existing texture/font_<fontname>_????.png files"
}
if [ $# -ne 1 ]
then
usage
exit 1
fi
font_name=$1
for f in textures/font_${font_name}_????.png
do
if [[ $f =~ textures/font_${font_name}_([0-9a-fA-F]{4}).png ]]
then
code=$((16#${BASH_REMATCH[1]}))
size=$(identify $f | cut -d " " -f 3)
w=$(echo $size | cut -d "x" -f 1)
h=$(echo $size | cut -d "x" -f 2)
if [ -z "$font_height" ]
then
font_height=$h
else
if [ $font_height -ne $h ]
then
echo "Error : $f as height of $h pixels, previous textures have a height of $font_height pixels. All textures should have the same height."
fi
fi
if [ -z "$font_widths" ]
then
font_widths="[$code]=$w"
else
font_widths="$font_widths, [$code]=$w"
fi
fi
done
echo "--[[
$luafile generated by $scriptname $(LANG=en_US date)
--]]
font_api.register_font(
'$font_name',
{
height = $font_height,
widths = {
$font_widths
},
}
);
" > font_$font_name.lua
if grep -q font_api depends.txt &>/dev/null
then
echo "font_api already in depends.txt."
else
echo "adding font_api to depends.txt."
echo "font_api" >> depends.txt
fi
|
