blob: 2dcd5f0c56fa38129b117940142dc94a4f831aa0 (
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
|
#!/usr/bin/env python
from __future__ import print_function
import re
import sys
rc_script = re.compile(r"\s*(.*\S)?\s*")
def parse_dict(filename):
links = {}
for line in open(filename, "r"):
m = re.match("^([^=]+)=([^\n]+)$", line)
if not m:
continue
name = m.group(1)
value = m.group(2)
# strip leading and trailing whitespace
m = rc_script.match(name)
if m:
name = m.group(1)
# skip special names
if name == "":
continue
if name == "\\":
continue
links[name] = '<a href="' + value + '" class="dg">' + name + "</a>"
return links
links = parse_dict(sys.argv[1])
def translate(match):
return links[match.group(1)]
# match for all names, with word boundaries \b
rc = re.compile(r"\b(" + "|".join(map(re.escape, sorted(links, reverse=True))) + r")\b")
for line in open(sys.argv[2], "r"):
print(rc.sub(translate, line), end="")
|
