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.*: Enforce separation between user's files and the system.
[distorted-keys]
/
extract-profile.in
diff --git
a/extract-profile.in
b/extract-profile.in
index dc816f36f02bb0085dd7b8e792832a5176920daa..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
@@
-376,6
+381,8
@@
def parse(filename, d):
continue
if line[0] == '[' and line[-1] == ']':
sect = line[1:-1]
continue
if line[0] == '[' and line[-1] == ']':
sect = line[1:-1]
+ if sect not in d:
+ d[sect] = Section(sect)
continue
## Parse an assignment.
continue
## Parse an assignment.
@@
-389,16
+396,11
@@
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.
- try:
- d[sect][name] = value
- except KeyError:
- s = Section(sect)
- d[sect] = s
- s[name] = value
+ d[sect][name] = value
###--------------------------------------------------------------------------
### Main program.
###--------------------------------------------------------------------------
### Main program.
@@
-446,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.