Comment modifier les extensions des fichiers dans un dossier ? - Conseil sur le code JavaScript
Conseil sur le code JavaScript
Comment modifier les extensions des fichiers dans un dossier ?
Pour renommer les extensions des fichiers d'un même dossier, dans une console, tapez la commande :"rename 's/\.nouvelle_extension$/.ancienne_extension/' *"
Attention, la modification des noms est irréversible à moins d'appliquer la commande en inversant la nouvelle et l'ancienne extension.
