У меня есть тонна файлов с именем File30_i.txt
для i=1, 2, 3, 4, 5
...
Есть ли простой способ быстро переименовать, например, File20_i.txt
?
3 ответа
3
Существует инструмент для этого называется rename
:
rename 's/File30/File20/' *.txt
Для предварительного просмотра запустите с -n
:
rename -n 's/File30/File20/' *.txt
0
Renamer работает на Windows, Mac и Linux:
$ renamer --find Find30 --replace Find20 *.txt
0
Мой предпочтительный способ - использовать sed для генерации скрипта для него, например:
ls -1|sed 's/File30_\([^.]*\).txt/mv & File20_\1.txt/'|bash
Это должно переименовать в соответствии с именами файлов, которые вы дали в вопросе. Для предварительного просмотра команд вы можете сделать:
ls -1|sed 's/File30_\([^.]*\).txt/mv & File20_\1.txt/'