1

У меня есть тонна файлов с именем File30_i.txt для i=1, 2, 3, 4, 5 ... Есть ли простой способ быстро переименовать, например, File20_i.txt ?

3 ответа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/'

Всё ещё ищете ответ? Посмотрите другие вопросы с метками .