我有 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"
第二行使其可执行,第三行在创建日志文件时重命名。然后迅速从黑暗的灵魂沉思中解脱出来。试试吧!
您可能知道更聪明的解决方案,所以让我们集思广益吧!:-)