Message262570
On Windows Path.glob does not always return the file name with correct case.
If the current directory contains a file named MixedCase.txt then the following script:
import pathlib
p = pathlib.Path('.')
print(list(p.glob('*.txt')))
print(list(p.glob('Mixedcase.txt')))
yields:
[WindowsPath('MixedCase.txt')]
[WindowsPath('mixedcase.txt')]
Problem: The result of the second call to glob should be 'MixedCase.txt' as well. I would expect that glob returns a file name exactly as it is spelled in the file system. |
|
Date |
User |
Action |
Args |
2016-03-28 13:24:02 | udo.eberhardt | set | recipients:
+ udo.eberhardt, paul.moore, tim.golden, zach.ware, steve.dower |
2016-03-28 13:24:02 | udo.eberhardt | set | messageid: <1459171442.9.0.718616645463.issue26655@psf.upfronthosting.co.za> |
2016-03-28 13:24:02 | udo.eberhardt | link | issue26655 messages |
2016-03-28 13:24:02 | udo.eberhardt | create | |
|