Message147434
As a workaround, it is possible to make every glob character a character set of one character (wrapping it with [] ). The gotcha here is that you can't just use multiple replaces because you would escape the escape brackets.
Here is a function adapted from [1]:
def escape_glob(path):
transdict = {
'[': '[[]',
']': '[]]',
'*': '[*]',
'?': '[?]',
}
rc = re.compile('|'.join(map(re.escape, transdict)))
return rc.sub(lambda m: transdict[m.group(0)], path)
[1] http://www.daniweb.com/software-development/python/code/216636 |
|
Date |
User |
Action |
Args |
2011-11-11 14:33:11 | Tilka | set | recipients:
+ Tilka, terry.reedy, eric.smith, kveretennicov, l0nwlf, george.hu, Aquinas |
2011-11-11 14:33:11 | Tilka | set | messageid: <1321021991.66.0.351042059845.issue8402@psf.upfronthosting.co.za> |
2011-11-11 14:33:11 | Tilka | link | issue8402 messages |
2011-11-11 14:33:10 | Tilka | create | |
|