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
|
#!/usr/bin/env python
import sys, os, tempfile, subprocess
def usage(ex):
[sys.stderr, sys.stdout][not ex].write(
"Usage: %s srcdir helptexts > helptext.c\n"
% os.path.basename(sys.argv[0]))
sys.exit(ex)
if '--help' in sys.argv:
usage(0)
if len(sys.argv) < 3:
usage(1)
def die_at(filename, line, message):
sys.stderr.write("%s:%d: %s\n" % (filename, line + 1, message))
sys.exit(1)
# valid characters to start a line (see page_help.c)
typechars = frozenset("|+:;!%#=")
srcdir = sys.argv[1]
helptexts = sys.argv[2:]
o = sys.stdout
if sys.version_info[0] > 2:
unichr = chr
mapord = lambda s: s
else:
mapord = lambda s: map(ord, s)
ctrans = { ord('\n'): '\\n', ord('"'): '\\"', ord('\\'): '\\\\' }
for c in range(32, 127):
ctrans.setdefault(c, chr(c))
o.write("extern const char *help_text[];\n")
o.write("const char *help_text[] = {")
for idx, textfile in enumerate(sys.argv[2:]):
blank = True
for lnum, line in enumerate(open(os.path.join(srcdir, textfile), 'rb')):
blank = False
try:
line = line.decode('utf8').rstrip('\r\n')
except UnicodeError:
die_at(textfile, lnum, "malformed Unicode character")
if not line:
continue
elif line.endswith(' '):
die_at(textfile, lnum, "trailing whitespace")
elif len(line) > 76:
die_at(textfile, lnum, "line is longer than 76 characters")
elif line[0] not in typechars:
die_at(textfile, lnum, "line-type character %c is not one of %s"
% (line[0], ''.join(typechars)))
line += '\n'
try:
line = (line
.replace(unichr(0x00B6), unichr(0x14)) # paragraph mark
.replace(unichr(0x00A7), unichr(0x15)) # section mark (why? I don't know)
.encode('cp437'))
except UnicodeError:
die_at(textfile, lnum, "invalid CP437 character")
o.write('\n"' + ''.join([ctrans.get(c, '\\%03o' % c) for c in mapord(line)]) + '"')
if blank:
die_at(textfile, 0, "file is empty")
o.write(",\n")
o.write("};\n")
|
