Я хочу переименовать все файлы в папке, которая начинается с 123_xxx.txt
до xxx.txt
.
Например, в моем каталоге есть:
123_xxx.txt
123_yyy.txt
123_zzz.txt
I want to rename all files as:
xxx.txt
yyy.txt
zzz.txt
Я видел несколько полезных сценариев bash на этом форуме, но я все еще запутался, как использовать его для моего требования.
Предположим, что я использую:
for file in `find -name '123_*.txt'` ; do mv $file {?.txt} ; done
Правильно ли это делается?