shell manipulation chaînes de caractères

Bonjour à tous,

Je bute sur un problème de manipulation de noms de fichiers : j'ai des noms de fichier du genre 1119 toto.truc, 2342 toto.truc etc. et je voudrais extraire les chiffres en début de nom de fichier pour les balancer à la fin juste avant l'extension (comme 1119 toto.truc qui deviendrait toto 1119.truc).
Je précise que la chaine au début est toujours de la même longueur.
Je farfouille dans sed et awk mais je sèche.
Des idées ?
Merci

L'extension est-elle toujopurs la même ?
Y a-t-il systématiquement un espace après les chiffres ?

Les substitutions bash devraient faire l'affaire

Code:

---

1 2 3 4 5 6

for F in * # Pour tous les fichiers du dossier courant do E=${F##*.} # extrait l'extension B="${F%.*}" # nom sans extension mv "$F" "${B:4} ${B::4}.$E" done

---

Si l'extension est toujours la même, pas besoin de l'extraire.

Merci de ta réponse, je vais tester illico :ccool:
Sinon, c'est toujours la même extension et l'espace après les chiffres aussi.

Alors ça donne

Code:

---

1 2 3 4 5

for F in *.truc # Pour tous les fichiers du dossier courant do B="${F%.*}" # nom sans extension mv "$F" "${B:4} ${B::4}.truc" done

---

J'ai oublié, si c'est toujours "toto", alors :

Code:

---

1 2 3 4

for F in *.truc # Pour tous les fichiers du dossier courant do mv "$F" "toto ${F::4}.truc" done

---

Code:

---

1 2 3 4 5 6

for F in * # Pour tous les fichiers du dossier courant do E=${F##*.} # extrait l'extension B="${F%.*}" # nom sans extension mv "$F" "${B:6} ${B::6}.$E" done

---

Merci encore, ça fonctionne parfaitement :P