en tant que développeur web, Je change fréquemment le type de fichier et / ou les extensions. par exemple, changer un document HTML en PHP ou changer une image de JPG en PNG. je voulais simplement en changeant l’extension de fichier.
dire que je veux changer un fichier HTML avec le nom » index.html » dans un fichier PHP, tout ce que je dois faire est de le renommer en « index.php”. il en va de même pour changer un JPG en PNG, Doc en TXT E. T. C.,
par défaut, les extensions de fichiers sont clairement exclues des noms de fichiers, ce qui rend impossible la modification des types de fichiers via le changement de nom d’extension.
pour activer la visibilité de l’extension de fichier dans le nom du fichier, suivez les étapes ci-dessous;
- ouvrez votre explorateur de fichiers windows, accédez à n’importe quel dossier, par exemple « mon document”
- cliquez sur L’onglet Organiser dans le coin supérieur gauche puis les options dossier et recherche.
- dans l’onglet” Affichage », décochez Masquer les extensions pour les types de fichiers connus, cliquez sur le bouton Appliquer puis OK.,
- maintenant que l’extension de fichier est maintenant visible et incluse avec les noms de fichiers, vous pouvez maintenant changer de fichier d’un type ou d’un formulaire à un autre en changeant l’extension.
Laisser un commentaire