Skip to content

Changer des noms de fichiers massivement avec Bash

6 janvier 2010

Lors d’extractions de résultats j’ai eu un problème de nommage de fichiers.
Mes fichiers auraient du s’appeler comme suit :
fichier_0000001
fichier_0000002
etc…

Hélas une erreur de manip les as rendu comme suit:
fichier_0000010
fichier_0000020
etc…

Rendant le post-traitement impossible, ou presque…
Bien sûr la manip que je vais vous présenter peux être adaptée à d’autres situations. Et pour renommer des fichiers on peut utiliser le bon logiciel pyRename (dans les dépôts Ubuntu). Et on trouve de bons tutoriels sur le sujet.

Comme l’information n’est pas toujours facile à trouver, je cite les deux sources qui m’ont beaucoup aidé :
http://chrischan.blog-city.com/bash_pattern_substitution.htm
http://www.laboiteaprog.com/article-99-3-bash_les_chaines_de_caracteres

Je vais donc légèrement les paraphraser et de manière moins complète.
Afin de changer les noms j’ai fait le script bash suivant :

#! /bin/bash

for i in $( ls fichier_* | grep -v case ); do


mv $i ${i/000/0000};
# echo « $i vers ${i/000/0000} »;
# echo « $i vers ${i%0} »;


done

for i in $( ls ens* | grep -v case ); do


mv $i ${i%0};
# echo « $i vers ${i%0} »;


don
e

Les affichages via echo sont indiqués à titre indicatif et pour vérifier que nous faisons bien les bonnes manips (ils sont commentés via les dièzes).
Je fais la manip en deux temps.

Dans la ligne for i in $( ls fichier_* | grep -v case ); do, je cherche tous les fichiers fichier_* via le ls mais grâce au pipe « | » et le grep -v je retire tous ceux qui ont case dans le nom. Je boucle sur chaque nom de fichier trouvé jusqu’au done.
je fait un moove (mv) du nom de fichier $i vers ${i/000/0000}. Cette seconde commande indique que je vais remplacé une fois trois zéros par quatre ${var/pattern/string}, cad que dans $i je vais remplacé une occurrence pattern par string. Si je veux toutes les remplacées, je mets : ${var//pattern/string}.

Je viens de mettre un 0 de plus devant le chiffre du nom de fichier, par exemple :
fichier_0000010 devient fichier_00000010 (un zéro de plus).

Dans la seconde boucle for, je retire un 0 à la fin du nom de fichiers grâce à a la commande suivante : ${i%0}, je retire le premier 0 en partant de la fin dans $i. % indique que nous partons de la fin pour changer ou retirer une occurrence.

Et voilà le tour est joué.

Je vous conseille la lecture des deux liens donnés, ils sont concis et facile à comprendre.

Pour éxécuter ce script :

Éditer le fichier xxx.sh (xxx où vous mettez ce que vous voulez). Copier-coller le code donné en bleu plus haut. L’adapter à votre cas. vous pouvez le rendre interactif, mais il faut un meilleur niveau en bash.

Dans un Terminal, le rendre exécutable : chmod +x xxx.sh

et l’exécuter dans le répertoire où c’est nécessaire : ./xxx.sh

Vous pouvez aussi l’exécuter depuis l’explorateur en double-cliquant dessus et en cliquant sur l’option : Exécuter dans un terminal (run in a terminal).

3 commentaires leave one →
  1. chatindigo permalink
    23 octobre 2010 20 h 49 mi

    Bonjour, etsuper grand merci Boutor
    j’ai finalement utilisé pyrenamer pour enlever les premiers caractères des noms de mes fichiers,
    je voulais le faire en ligne de commande, mais des espaces dans le nom retournait le message:
    mv: la cible <> n’est pas un répertoire
    tant pis pour ma connaissance du bash 😉

    • 24 octobre 2010 16 h 15 mi

      Salut,

      Il faut remplacer les espaces  »  » par slash espace « \ « .
      Dans la ligne

      for i in $( ls fichier_* | grep -v case ); do

      il faut mettre :

      for i in $( ls fichier_* | grep -v case | sed s/ /\ /g ); do

      De mémoire… A vérifier.

Trackbacks

  1. Bonjour Planet-Libre « Rappels utiles Linux

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :