| #!/usr/bin/env python |
| |
| from __future__ import print_function |
| import fileinput |
| 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='') |
