Измените имя файла. Explanation search-Substitution

Question

Изменение имени файла

Я хочу понять, как изменить имя файла с помощью терминала и Mac. Я искал и нашел множество решений. Например здесь: Using sed to mass rename files

Это изменяет файл с F00001-070 на F000-070.

for file in *.txt; do echo mv -v "$file" "${file/#F0000/F000}"; done 

Я тестировал и хорошо работает. Но теперь я пытаюсь изменить что от old-file.txt
в new-file.txt

for file in *.txt; do echo mv -v "$file" "${file/#old/new}”; done 

Это последняя один не работает.

Я думал, что file/#F0000/F000 означает изменение файлов, начинающихся с F0000 до F000. Должно быть, я ошибаюсь?

Может кто-то объяснить код и применить к тому, как изменить часть имени файла в начало, конец или в середине

Answer 1

Вашего закрытие цитата была неподходящей, Unicode права цитаты вместо ASCII прямой цитаты:

# bad 
for file in *.txt; do echo mv -v "$file" "${file/#old/new}”; done 
                 ^
# good 
for file in *.txt; do echo mv -v "$file" "${file/#old/new}"; done 
                 ^

Answer 2

for file in *.txt; do echo mv -v "$file" "${file/old/new}”; done 

на # не означает до где% означает, после в регулярном выражении, как поведение, так что удалить ваш #

# var=old-file.txt;echo ${var/%file*/new} 
old-new 
# var=old-file.txt;echo ${var/#*file/new} 
new.txt 

%% и ## означает максимально возможное выражение, где # и% первое вхождение