##// END OF EJS Templates
Jorgens patch for ? wildcard (single char globbing)
vivainio -
Show More
@@ -96,7 +96,7 b' class NameSpace(object):'
96 """Return dictionary of filtered namespace."""
96 """Return dictionary of filtered namespace."""
97 def glob_filter(lista,name_pattern,hidehidden,ignore_case):
97 def glob_filter(lista,name_pattern,hidehidden,ignore_case):
98 """Return list of elements in lista that match pattern."""
98 """Return list of elements in lista that match pattern."""
99 pattern=name_pattern.replace("*",".*")
99 pattern=name_pattern.replace("*",".*").replace("?",".")
100 if ignore_case:
100 if ignore_case:
101 reg=re.compile(pattern+"$",re.I)
101 reg=re.compile(pattern+"$",re.I)
102 else:
102 else:
General Comments 0
You need to be logged in to leave comments. Login now