Modifier l'extension de fichier pour un ou plusieurs fichiers dans Windows 10

Si vous souhaitez modifier une extension de nom de fichier dans Windows 10, ou si vous vous demandez comment modifier l'extension de fichier de plusieurs ou de tous les fichiers d'un même dossier, suivez ce guide.

• Comment changer l'extension de fichier pour un fichier
• Comment changer l'extension de fichier pour plusieurs fichiers

Partie 1 : Modifier l'extension de fichier d'un fichier dans Windows 10

Étape 1 : Affichez les extensions de nom de fichier si vous ne l'avez pas fait.

Étape 2 : Cliquez sur le fichier dont vous souhaitez modifier l'extension de fichier pour le sélectionner, puis cliquez sur F2 pour rendre le nom de fichier et l'extension modifiables.

Étape 3 : Sélectionnez l'extension pour la mettre en surbrillance, saisissez une autre extension et appuyez sur Entrée pour la confirmer.

Étape 4 : Lorsque vous recevez la boîte de dialogue d'avertissement indiquant "Si vous modifiez une extension de nom de fichier, le fichier peut devenir inutilisable.", cliquez sur Oui pour confirmer cela.

Partie 2 : Modifier l'extension de fichier de plusieurs fichiers à la fois dans Windows 10

Si vous devez modifier l'extension du nom de fichier pour plusieurs ou tous les fichiers d'un même dossier, il serait fastidieux et long de le faire un par un. Mais ne vous inquiétez pas. Vous pouvez modifier l'extension de fichier de plusieurs fichiers dans un dossier à la fois simplement avec l'invite de commande. Voici les étapes.

Étape 1 : Localisez le fichier. Faites un clic droit sur le fichier tout en appuyant longuement sur la touche Shift de votre clavier, puis sélectionnez Ouvrir la fenêtre de commande ici dans le menu contextuel. Cela ouvrira une fenêtre CMD.

Une autre façon d'ouvrir la fenêtre d'invite de commande consiste à ouvrir le dossier dans l'Explorateur de fichiers, à cliquer sur l'onglet Fichier, à pointer sur Ouvrir l'invite de commande, puis à cliquer sur Ouvrir l'invite de commande.

Étape 2 : Une fois la fenêtre CMD ouverte, tapez la commande : ren *.(nom de l'extension actuelle) *.(nouveau nom de l'extension) et appuyez sur Entrée. C'est tout.

Par exemple, dans mon cas, j'utilise la commande ren *.png *.jpg pour modifier l'extension de tous les fichiers image de .png à .jpg, comme indiqué ci-dessous.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!