Renommer des fichiers en groupe

J’ai une collection de vingtaines de fichiers nommés du type « 0001 nom-du-fichier ».
Je souhaite supprimer ces préfixes "0001 ".

Comment faire ?

Merci d’avance.

J’utilise parfois pyrenamer, très efficace.
http://doc.ubuntu-fr.org/pyrenamer

Merci Piero, ça semble très efficace.
Je pensais plutôt à « quelque chose » en bash, à la main …
L’un n’empêche pas l’autre.

= py + mv
http://www.man-linux-magique.net/man1/mv.html

:wink:

Un peu à la bourre mais j’avais une ligne de commande (à adapter) pour me renommer des photos de type photos0XXX en Anniversaire Claire XXX,:

for i in photos0*; do mv “$i” “Anniversaire Claire ${i#photos0}”; done