chiark / gitweb /
cryptop.list: Fix column width calculation.
[distorted-keys] / extract-profile.in
index dc816f36f02bb0085dd7b8e792832a5176920daa..03fe455ac77d6fb03ef4bfb5d5bf8333ead8c9f0 100755 (executable)
@@ -277,7 +277,9 @@ class Section (object, UD.DictMixin):
       ## Otherwise take as many constituent characters as we can.
       else:
         left = dol + 1
-        while left < n and (string[left].isalnum() or string[left] in '-_'):
+        if left < n and string[left] == '@':
+          left += 1
+        while left < n and (string[left].isalnum() or string[left] in '%-_'):
           left += 1
         prop = string[dol + 1:left]
 
@@ -296,10 +298,13 @@ class Section (object, UD.DictMixin):
               (' -> '.join(["`%s'" % p for p in path[seen[prop]:]]))
 
       ## Look up the raw value.
-      try:
-        value = me.inherited[prop]
-      except KeyError:
-        raise UserError, "unknown property `%s'" % prop
+      if prop == '@name':
+        value = me.name
+      else:
+        try:
+          value = me.inherited[prop]
+        except KeyError:
+          raise UserError, "unknown property `%s'" % prop
 
       ## Recursively expand, and unwind the PATH and SEEN stuff.
       seen[prop] = len(path) - 1
@@ -376,6 +381,8 @@ def parse(filename, d):
         continue
       if line[0] == '[' and line[-1] == ']':
         sect = line[1:-1]
+        if sect not in d:
+          d[sect] = Section(sect)
         continue
 
       ## Parse an assignment.
@@ -389,16 +396,11 @@ def parse(filename, d):
       name = name.replace('-', '_')
       if not (name and
               (name in SPECIALS or
-               all(map(lambda ch: ch == '_' or ch.isalnum(), name)))):
+               all(map(lambda ch: ch in '%_' or ch.isalnum(), name)))):
         raise UserError, "%s:%d: bad name `%s'" % (filename, n, name)
 
       ## Store the assignment.
-      try:
-        d[sect][name] = value
-      except KeyError:
-        s = Section(sect)
-        d[sect] = s
-        s[name] = value
+      d[sect][name] = value
 
 ###--------------------------------------------------------------------------
 ### Main program.
@@ -446,6 +448,7 @@ def main(args):
     except KeyError:
       raise UserError, "unknown section `%s'" % sect
     for k, v in s.inherited.iteritems():
+      if '%' in k: continue
       print '%s=%s' % (k, s.expand(v))
 
   ## Report errors for expected problems.