Il ne vous est jamais arrivé de devoir modifier l’extension de plusieurs fichiers (images, musiques, documents…) ?

Sur 2 ou 3 fichiers vous pouvez le faire manuellement, mais lorsque l’on a 50 fichiers voire plus à modifier, là ça devient beaucoup plus long .

Avec l’astuce que je vais vous donner, cela vous fera gagner un temps considérable.

Pour commencer, allez dans le dossier où se trouvent les fichiers dont les extensions sont à modifier.

Puis, dans ce même dossier, créez un Document Texte (clic droit, puis cliquez sur « nouveau » puis sur « document texte »).

 

Ensuite, vous devez écrire ce code dans le document texte :

@echo off
ren *.extension d’origine *.extension voulue

 

C’est bien beau, mais ça veut dire quoi ce code 

En fait, les seules modifications à faire dans ce code seront les extensions : « extension d’origine » et « extension voulue« .

 

Exemple, j’ai 50 images en .JPG et je veux modifier l’extension pour les mettre en .PNG.

 

En reprenant notre code, ça donnera :

@echo off
ren *.jpg *.png

 

Code pour changer les extensions

 

 

Donc, une fois ce code écrit dans votre document texte, vous devez l’enregistrer en .bat (et non en .txt).

Enregistrer fichier en .bat

 

Normalement, vous devriez avoir votre document .bat avec comme icône une « roue dentée ».

Vous n’avez plus qu’à double-cliquer dessus, et en quelques secondes, tous vos fichiers auront leurs extensions modifiées .

Vous l’aurez compris, cette astuce n’est pas utile si vous avez peu de fichiers à modifier, mais ça vous sera d’une grande utilité dans le cas d’une modification multiple

 

Cette astuce vous a été utile ?


Cet article vous a plu, parlez-en autour de vous :