blob: d4ce0af48b8470e83ca0aa6dd6a2b41e4bd5bb42 (
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
|
{
d = 0
for (i = 1; i <= length($0); ++i)
d = d * 16 + index("0123456789ABCDEF", substr($0, i, 1)) - 1
unimap[unimap_len++] = d
}
function readchar() {
name = $2
buf = ""
while (getline < font) {
if ($1 == "ENDCHAR")
break
if ($1 == "ENCODING")
encoding = $2
else
buf = buf $0 "\n"
}
names[encoding] = name
chars[encoding] = buf
}
function printchar(i, encoding) {
if (!(encoding in names))
exit(1)
print "STARTCHAR", names[encoding]
print "ENCODING", i
printf "%s", chars[encoding]
print "ENDCHAR"
}
END {
while (getline < font) {
if ($1 == "STARTCHAR") {
readchar()
continue
}
if ($1 == "CHARS") {
$2 = unimap_len
} else if ($1 == "FONT") {
sub(/-[^-]*-[^-]*$/, "-" charset, $2)
} else if ($1 == "ENDFONT") {
for (i = 0; i < unimap_len; ++i) {
encoding = unimap[i]
printchar(i >= 32 ? encoding : i, encoding)
}
}
print
}
}
|
