Я хочу переименовать все файлы в папке, которая начинается с 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
Это правильный способ сделать это?