更改文件扩展名

Question

我以一种奇怪的方式保存了大约 1000 张图像。

"file_name".jpeg?image=%2Fmars%2Freadonly%2Fthemis%2Fpds%2FODTGEO_v2%2Fbrowse%2Fodtbws2_0050%2Fv545xxbws2%2FV54577010POL.png&rotate=0&format=jpeg

我想将所有文件转换为.jpeg。

我该使用什么命令？

Answer 1

我没有完全按照你的要求做，但是我有这个小脚本，它可以返回不带那么长部分的文件名，但保留引号"，而且我怀疑其中一些文件的名称中有空格，所以它们可能必须保留。

for i in /path/to/files/*; do mv "$(realpath $i)" "$(realpath "${i%%\?*}"); done

结果：

"file_name".jpeg

笔记：我无法创建具有该名称的示例，因此我在脚本中使用了一个变量。