Comment modifier les extensions des fichiers dans un dossier ? - Conseil sur une distribution Debian
Conseil sur une distribution Debian
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.
Les autres astuces du même thème :
Comment mettre à jour tous ses paquets ?
Comment exécuter un script php en ligne de commande ?
Comment changer le mot de passe d'un utilisateur ?
Comment modifier les variables locales ?
Comment afficher la liste des paquets installés ?
Comment modifier les extensions des fichiers dans un dossier ?
Comment connaître l'encodage des caractères affichés ?
Comment renommer les fichiers d'un dossier ?
Comment activer le module rewrite et l'URLRewriting avec Apache ?
Comment résoudre l'erreur « Fatal error : Allowed memory size of ... » ?
Comment afficher la version du noyau ?
