shell manipulation chaînes de caractères

[zatoune]

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

[fransoo]

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.

[zatoune]

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

[fransoo]

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

[zatoune]

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