Discussion :

[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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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