Renomeação em massa de nomes de arquivos [duplicados]

Question

Eu tenho nomes de arquivo como:

Some Text (1).jpg
Some Text (2).jpg
..
Some Text (15).jpg
Some Text (16).jpg
..
Some Text (101).jpg
Some Text (102).jpg

Eu gostaria de adicionar 0 antes dos números, para que eu tenha sempre 3 números. Os exemplos superiores se tornariam:

Some Text (001).jpg
Some Text (002).jpg
..
Some Text (015).jpg
Some Text (016).jpg
..
Some Text (101).jpg
Some Text (102).jpg

Existe alguma maneira de automatizar isso?

    

Answer 1

Isso também funciona bem:

for file in *.jpg
do 
  number=$(grep -Eo '[0-9]*' <<<$file)
  newname=$(sed "s/([0-9]*).txt/(0$number).txt/"<<<$file)
  #echo "old file = $file - new name=$newname"
  mv "$file" "$newname"
done