chiark
/
gitweb
/
~mdw
/
distorted-keys
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
keys.list-keepers: Identify the current recovery key instance.
[distorted-keys]
/
extract-profile.in
diff --git
a/extract-profile.in
b/extract-profile.in
index 918da8c884229df4e7f74fd19b0a2eaccecf3184..03fe455ac77d6fb03ef4bfb5d5bf8333ead8c9f0 100755
(executable)
--- a/
extract-profile.in
+++ b/
extract-profile.in
@@
-277,7
+277,9
@@
class Section (object, UD.DictMixin):
## Otherwise take as many constituent characters as we can.
else:
left = dol + 1
## 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]
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.
(' -> '.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
## Recursively expand, and unwind the PATH and SEEN stuff.
seen[prop] = len(path) - 1
@@
-391,7
+396,7
@@
def parse(filename, d):
name = name.replace('-', '_')
if not (name and
(name in SPECIALS or
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.
raise UserError, "%s:%d: bad name `%s'" % (filename, n, name)
## Store the assignment.
@@
-443,6
+448,7
@@
def main(args):
except KeyError:
raise UserError, "unknown section `%s'" % sect
for k, v in s.inherited.iteritems():
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.
print '%s=%s' % (k, s.expand(v))
## Report errors for expected problems.