我应该如何批量更改文件的扩展名？
对于更好的解决方案（只使用bash功能，与外部调用相反），请参见其他答案之一。
以下将完成操作，而不需要系统拥有rename程序（虽然您在系统上通常都会有此功能）：
for file in *.html; do
mv "$file" "$(basename "$file" .html).txt"
done
编辑：正如评论中指出的那样，如果文件名中有空格而没有正确的引用，则此方法无法工作（现在已添加上述内容）。在纯粹处理您自己知道文件名不包含空格的文件时，此方法将起作用，但每当您编写可能在以后重用的内容时，不要省略正确的引用。
