标签: file-extension

检查文件扩展名

我正在处理某个程序,如果有问题的文件是flac文件或mp3文件,我需要让它做不同的事情.我可以用这个吗?

if m == *.mp3
   ...
elif m == *.flac
   ...
Run Code Online (Sandbox Code Playgroud)

我不确定它是否会起作用.

编辑: 当我使用它时,它告诉我无效的语法.那我该怎么办?

python file-extension

138
推荐指数
8
解决办法
21万
查看次数

如何根据文件扩展名过滤git diff?

是否有限制git diff到一组给定文件扩展名的选项?

git file-extension

132
推荐指数
4
解决办法
4万
查看次数

递归地向所有文件添加文件扩展名

我有一些目录和子目录包含没有文件扩展名的文件.我想添加.jpg到这些目录中包含的所有文件.我见过用于更改文件扩展名的bash脚本,但不是仅添加一个.它也需要递归,有人可以帮忙吗?

bash shell command-line file-extension file

103
推荐指数
4
解决办法
8万
查看次数

git grep by文件扩展名

我知道,如果我只想对具有特定扩展名的文件进行格式化,我可以这样做:

// searches recursively and matches case insensitively in only javascript files
// for "res" from the current directory
grep -iIr --include=*.js res ./
Run Code Online (Sandbox Code Playgroud)

我一直试图通过git grep搜索一种方法(利用git grep从它存储的索引中获得的速度),但无济于事.我在这里看到不能排除某些文件类型.

git grep file-extension

81
推荐指数
1
解决办法
2万
查看次数

如何从C++中的字符串获取文件扩展名

给定一个字符串"filename.conf",如何验证扩展部分?

我需要一个跨平台的解决方案.

c++ string filenames file-extension

73
推荐指数
9
解决办法
16万
查看次数

是否有gnuplot文件的标准文件扩展名?

我所看到的.gnu,.plt.gplot作为gnuplot的脚本文件扩展名.

我知道Linux并不关心文件扩展名,但是人们最普遍地向人类宣称" 我是一个gnuplot脚本! "?

file-extension gnuplot

69
推荐指数
4
解决办法
2万
查看次数

哪种编程语言有扩展名.do

只是想知道哪些编程语言在扩展名为".do"的网页上使用

file-extension

67
推荐指数
4
解决办法
8万
查看次数

更改目录OSX中所有文件的文件扩展名

我有一个目录,其中包含一个扩展名(在本例中为.txt)的文件,我想自动转换为另一个扩展名(.md).

是否有一个简单的终端单行程序,我可以用来将此目录中的所有文件转换为不同的文件扩展名?

或者我需要用正则表达式编写脚本吗?

macos terminal file-extension

60
推荐指数
5
解决办法
6万
查看次数

Planet上所有MimeTypes的列表,映射到File Extensions?

是否存在列出所有mimeTypes的资源?

我找到了一些低于1000 mimeTypes的地方,但是他们仍然不包括常见的地方,如.rar,.fla,.rb,.docx!

有没有人有完整的mimetypes列表?不是最令人沮丧的"仅公司",而是至少我们可能使用的所有.

另外,我正在寻找一个将文件扩展名映射到mimeTypes的列表.

file-extension mime-types

57
推荐指数
5
解决办法
5万
查看次数

在Python中更改文件扩展名

假设从index.pyCGI,我有帖子文件foo.fasta显示文件.我想将foo.fasta文件扩展名更改为foo.aln显示文件.我该怎么做?

python file-extension rename

55
推荐指数
6
解决办法
8万
查看次数