1.1 --- a/tools/showalias.py Thu Jul 05 16:01:33 2018 +0200
1.2 +++ b/tools/showalias.py Thu Jul 05 19:34:04 2018 +0200
1.3 @@ -1,6 +1,6 @@
1.4 #!/usr/bin/env python
1.5
1.6 -from os.path import abspath, split
1.7 +from os.path import abspath, exists, join, split
1.8 import sys
1.9
1.10 # Find the modules.
1.11 @@ -15,12 +15,18 @@
1.12 from encoders import decode_alias_location
1.13
1.14 if len(sys.argv) < 3:
1.15 - print >>sys.stderr, "Usage: %s <filename> <alias>" % sys.argv[0]
1.16 + print >>sys.stderr, "Usage: %s <directory> <alias>" % sys.argv[0]
1.17 sys.exit(1)
1.18
1.19 -filename = sys.argv[1]
1.20 +dirname = sys.argv[1]
1.21 alias = sys.argv[2]
1.22
1.23 +filename = join(dirname, "_deduced", "aliases")
1.24 +
1.25 +if not exists(filename):
1.26 + print >>sys.stderr, "Directory %s does not provide file %s." % (dirname, filename)
1.27 + sys.exit(1)
1.28 +
1.29 f = open(filename)
1.30 try:
1.31 for line in f.xreadlines():