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, vous allez gagner un temps considérable.

Comment modifier l’extension de plusieurs fichiers en 1 clic

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

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

3) 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.

4) En reprenant notre code, ça donnera :

@echo off
ren *.jpg *.png

Modifier l'extension de plusieurs fichiers

Code pour changer les extensions

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

echo changer extension d'un seul coup windows

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 :

—————————–