Show More
@@ -277,12 +277,12 b' def expand_glob(pats):' | |||||
277 | ret.append(p) |
|
277 | ret.append(p) | |
278 | return ret |
|
278 | return ret | |
279 |
|
279 | |||
280 |
def patkind(name, d |
|
280 | def patkind(name, default): | |
281 | """Split a string into an optional pattern kind prefix and the |
|
281 | """Split a string into an optional pattern kind prefix and the | |
282 | actual pattern.""" |
|
282 | actual pattern.""" | |
283 | for prefix in 're', 'glob', 'path', 'relglob', 'relpath', 'relre': |
|
283 | for prefix in 're', 'glob', 'path', 'relglob', 'relpath', 'relre': | |
284 | if name.startswith(prefix + ':'): return name.split(':', 1) |
|
284 | if name.startswith(prefix + ':'): return name.split(':', 1) | |
285 |
return dflt |
|
285 | return default, name | |
286 |
|
286 | |||
287 | def globre(pat, head='^', tail='$'): |
|
287 | def globre(pat, head='^', tail='$'): | |
288 | "convert a glob pattern into a regexp" |
|
288 | "convert a glob pattern into a regexp" |
General Comments 0
You need to be logged in to leave comments.
Login now