如何重命名文件:picture.jpg.~1~ 至 picture_~1~.jpg

如何重命名文件:picture.jpg.~1~ 至 picture_~1~.jpg

我有 30000 个这种类型的文件:picture.jpg.~12~

它们是备份的残余(mv -v --backup=numbered ...)。

我需要将扩展​​名切换为:picture.~12~.jpg

答案1

我终于找到了这个解决方案,它可能会在这个漫长而黑暗的灵魂疫情时期给你带来启发。

ls *~*~* | sed -n "s/\(.*\)\.\([^.]*\).\(~[0-9]*~\)$/mv  -v --backup=numbered  \"\0\" \"\1_\3.\2\"/p" >switch_extensions.sh
chmod +x switch_extensions.sh
./switch_extensions.sh > switch_extensions.log

第一行产生命令:

mv  -v --backup=numbered  "Trombone.tif.~10~" "Trombone_~10~.tif"

第二行使其可执行,第三行在创建日志文件时重命名。然后迅速从黑暗的灵魂沉思中解脱出来。试试吧!

您可能知道更聪明的解决方案,所以让我们集思广益吧!:-)

相关内容