我正在某个程序上工作,根据文件的扩展名,我需要做不同的事情。我可以用这个吗?
if m == *.mp3
...
elif m == *.flac
...
假设m
是一个字符串,可以使用endswith
:
if m.endswith('.mp3'):
...
elif m.endswith('.flac'):
...
要不区分大小写,并消除可能很大的else-if链:
m.lower().endswith(('.png', '.jpg', '.jpeg'))
问题内容: 我有一个上传脚本,需要检查文件扩展名,然后基于该文件扩展名运行单独的功能。有人知道我应该使用什么代码吗? 问题答案: 是您要寻找的 PHP.net
问题内容: 我必须将数据从Excel文件导入数据库,并执行此操作,我想检查所选文件的扩展名。 这是我的代码: 但是我总是得到: 选择一个Excel文件! 我找不到我的代码有什么问题,请有人帮忙。 问题答案: 以下 应该 要么
我使用JavaScript的FileReader和我的定制函数来读取JPG-JPEG图像,我的问题是如何通过下面的代码检测文件扩展名,如果文件不是JPG-JPEG则给用户错误:
问题内容: 我想检查Path(在Java 7中引入)是否以某个扩展名结尾。我尝试这样的方法: 但是,这似乎不起作用,因为返回false。似乎只有在最终目录分隔符(例如)之后的所有内容都完全匹配时,该方法才返回true ,这对我来说并不实用。 那么,如何检查路径的文件扩展名? 问题答案: Java NIO的PathMatcher提供FileSystem.getPathMatcher(String语法
我目前正在尝试制作一个脚本,该脚本将grep输入以查看某些内容是否属于某种文件类型(例如zip),尽管文件类型之前的文本可以是任何内容,因此例如 都属于这一类。我正在尝试使用通配符grep这些,到目前为止,我已经尝试过了。 但是每当我这样做时,它都会发现文件很好,但是如果.zip之后有其他字符,它仍然会显示输出例如或仍然会被grep拾取。话虽如此,我应该怎么做才能防止 grep 在后显示具有其他字