普通文本  |  44行  |  897 B

#!/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='')