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
|
#!/usr/bin/python
# Copyright (c) 2005 by Matthias Urlichs <smurf@smurf.noris.de>
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of Version 2 of the GNU General Public License as
# published by the Free Software Foundation. See the file COPYING.txt
# or (on Debian systems) /usr/share/common-licenses/GPL-2 for details.
"""\
This script analyzes an X11 keymap and prints the equivalent console
keymap name, based on a decision tree.
"""
from keymapper.parse.x11 import parse_file as parse_x11
from keymapper.fakequery import FakeQuery
from keymapper.script import Script,DupMap,NoMap
from optparse import OptionParser, OptParseError
from sets import Set
import sys
import codecs
sys.stdout = codecs.getwriter("utf-8")(sys.stdout)
import keymapper.tree
keymapper.tree.trace = 1
try:
from cStringIO import StringIO
except ImportError:
from StringIO import StringIO
parser = OptionParser(usage="%prog tree_file x11name...", version="%prog 0.1")
parser.remove_option("-h")
#parser.remove_option("--help")
parser.add_option("-?","--help", action="help", help="show this help text")
parser.add_option("-v","--verbose", action="count", dest="verbose",
help="be more verbose")
parser.add_option("-g","--graph", action="store_const", dest="format",
const="graphviz", help="generate a hopefully-nice-looking .dot file")
(opts, args) = parser.parse_args()
script = Script(codecs.getreader("utf-8")(open(args[0])), verbose=opts.verbose)
rev = {}
def rev_add(b,a):
if a not in rev:
rev[a] = Set()
rev[a].add(b)
for x11map in args[1:]:
km = parse_x11(x11map)
if km is None: continue
try:
consolemap = script.run(FakeQuery(km, verbose=opts.verbose))
except DupMap,err:
for m in err.args[0]:
rev_add(km.name,m)
except NoMap:
print "# %s could not be mapped." % (km.name,)
else:
rev_add(km.name,consolemap)
for a,b in rev.iteritems():
print a," ".join(b)
|
