Чтобы сделать это безопасно, echo
до mv
:
for i in file_[1-5]_12DEC2011.pdf; do
mv $i ${i/12/13}
done
Чтобы сделать это быстро, используйте команду rename
:
$ rename 's/12/13/' file_[1-5]_12DEC2011.pdf
UPDATE:
Вы можете использовать awk
, чтобы сгенерировать новое имя файла и поместить его в эти команды выше.
for i in *_*.pdf; do
mv $i `echo $i | awk -F_ -v OFS=_ '{sub(/[0-9]+/, $NF+1, $NF)}1'`
done