Comment renommer les extensions de tous les fichiers à l'intérieur d'un dossier, y compris les sous-dossiers
Disons que vous devez renommer l'extension d'un fichier d'une extension à une autre, disons jpg pour png . C'est simple, bien sûr ! Mais que se passe-t-il si vous avez plusieurs fichiers nécessitant un changement d'extension ? Ou pire encore, que se passe-t-il si ces multiples fichiers se trouvent également dans plusieurs dossiers et sous-dossiers, dans un seul dossier ? Eh bien, pour une personne normale, cela peut être un cauchemar. Mais pour un geek, certainement pas. Maintenant, la question est, êtes-vous un geek ou non. Bien avec La page GEEK ici pour aider, vous l'êtes certainement !
Dans cet article, nous expliquons à travers la méthode des scripts batch comment vous pouvez facilement renommer les extensions de tous les fichiers à l'intérieur d'un dossier comprenant des sous-dossiers d'une extension à l'autre, de votre choix.
Noter : Veuillez noter que dans cet exemple nous avons converti Fichiers JPG en fichiers PNG . Vous pouvez faire d'autres changements de nom d'extension comme .mod à .mp4 etc.
Renommer les extensions de tous les fichiers à l'intérieur d'un dossier
Étape 1 : Clique sur le Rechercher icône dans la barre des tâches.
Étape 2 : Dans le Barre de recherche , tapez bloc-notes puis cliquez sur le Bloc-notes candidature de la Meilleure correspondance section.
Étape 3 : Lorsque l'application Bloc-notes s'ouvre, copier et coller l'extrait de code suivant dessus.
|__+_|Remarque : S'il vous plaît remplacer avec l'ancienne extension et avec la nouvelle extension. Dans l'exemple de capture d'écran suivant, je change l'extension de jpg en png. Alors mon<de_extension> serait jpg et mon serait png. Vous pouvez passer de n'importe quelle extension à n'importe quelle autre extension. jpg en png n'est qu'un exemple.
Étape 4 : Une fois que vous avez terminé, cliquez sur le Fichier onglet en haut. Cliquez ensuite sur le Enregistrer sous option.
Étape 5 : Dans le Enregistrer sous la fenêtre, naviguer jusqu'au dossier où vos fichiers, qui ont besoin du changement d'extension, sont présents.
Maintenant, donnez un Nom à votre fichier de script. J'ai donné le nom comme jpg_to_png.bat . Vous pouvez donner n'importe quel nom, mais le extension devrait être .une .
Maintenant, choisissez Sauvegarder comme type comme Tous les fichiers .
Frappez le sauvegarder bouton une fois que vous avez terminé.
Étape 6 : Comme ensuite, aller à l'emplacement où vous avez enregistré le fichier batch. C'est le dossier qui contient tous vos fichiers jpg. Ce dossier peut contenir des sous-dossiers contenant des fichiers jpg. Tous les fichiers jpg à l'intérieur de tous les sous-dossiers seront désormais convertis en png.
Double-cliquez sur le fichier de commandes pour l'exécuter.
Noter : Veuillez noter qu'avant d'exécuter le fichier batch, le type des fichiers est JPG.
Étape 7 : Après exécution, vous pouvez voir que le type des fichiers a modifié à PNG.
Étape 8 : Si vous allez dans les sous-dossiers et dans les sous-dossiers des sous-dossiers également, vous pouvez voir que les extensions des fichiers à l'intérieur ont également changé en PNG.
C'est ça. Vous avez maintenant réussi à passer d'une extension à une autre pour plusieurs fichiers de manière récursive en un seul clic.
J'espère que vous avez trouvé l'article utile.