Des geekeries, de la MAO, de tout et de rien…
Je suis
Charlie

Changer l'extension de plusieurs fichiers en une simple manipulation

Icône auteur nah, Icône canondrier 03 décembre 2017, Icône commentaire
Mots clés Icône catégorie geekeries, GNU/Linux, linux, NetBSD, classé dans Icône catégorie Asrall, Geekeries, Linux

Contrairement à MS-DOS, il n'y a pas de méthode simple pour changer juste l'extension sur un grand nombre de fichiers.

Il existe des solutions avec une interface graphique, ou un ensemble de commandes à taper.

J'ai fini par m'écrire un script qui évite de retaper toutes les commandes. Et pour le retrouver facilement, je l'ai appelé mass-rename, et l'ai enregistré sous /usr/local/bin

#!/bin/bash
cd "$1"
for f in *.$2; do 
mv -- "$f" "${f%.$2}.$3"
done

Utilisation :

mass-rename

Exemple :

mass-rename ~/bureau/webcomics zip cbz

Attention : ce script ne fait absolument aucune vérification. À utiliser à vos risques et périls.