我知道文件名是file001.txt
or FILE001.TXT
,但我不知道是哪个。该文件位于我通过 samba 挂载点访问的 Windows 机器上。
中的函数os.path
似乎不区分大小写,但该open
函数似乎区分大小写:
>>> from os.path import exists, isfile
>>> exists('FILE001.TXT')
True
>>> isfile('FILE001.TXT')
True
>>> open('FILE001.TXT')
Traceback (most recent call last):
File "<console>", line 1, in <module>
IOError: [Errno 2] No such file or directory: 'FILE001.TXT'
>>> open('file001.txt') # no problem
所以,我的问题是:
有没有办法在不打开文件(或列出它所在的目录)的情况下确定文件名是什么?
为什么不
open
区分大小写os.path
?
更新:感谢您的回答,但这不是 python 问题,所以我要结束这个问题。