如何重命名一堆文件的扩展名?

在一个目录中，我有一些*.html文件。我想把它们都重命名为*.txt

我该怎么做呢?我使用bash shell。

当前回答

这是一次修改多个扩展的好方法:

for fname in *.{mp4,avi}
do
   mv -v "$fname" "${fname%.???}.mkv"
done

注意:注意在扩展的大小是相同的(??)

其他回答

对于Ubuntu用户:

rename 's/\.html$/\.txt/' *.html

这是一次修改多个扩展的好方法:

for fname in *.{mp4,avi}
do
   mv -v "$fname" "${fname%.???}.mkv"
done

注意:注意在扩展的大小是相同的(??)

这里有一个解决方案，使用AWK。确保文件存在于工作目录中。否则，cd到html文件所在的目录，然后执行以下命令:

for i in $(ls | grep .html); do j=$(echo $i | grep -oh "^\w*." | awk '{print $1"txt"}'); mv $i $j; done

如果使用bash，则不需要使用sed、basename、rename、expr等外部命令。

for file in *.html
do
  mv "$file" "${file%.html}.txt"
done

你想要使用rename:

rename -S <old_extension> <new_extension> <files>

rename -S .html .txt *.html

这正是你想要的-它将所有匹配*.html的文件的扩展名从.html更改为.txt。

注意:Greg Hewgill正确地指出这不是bash内置的;是一个单独的Linux命令。如果你只是需要Linux上的一些东西，这应该可以工作;如果你需要一些更跨平台的东西，那就看看其他的答案。

推荐文章