Sur l’ordinateur chaque fichier a sa propre extension, l’extension permet au système d’exploitation Windows de connaitre le type du fichier ce qui lui permet de trouver rapidement le logiciel qui permet d’ouvrir le fichier. Par exemple si vous ouvrez un fichier musique avec l’extension « .mp3 » quand Windows détecte cette extension il cherche directement à ouvrir le fichier musique avec un lecteur de son tel que Winamp etc…
Quand on programme des pages Web ou autre on aura besoin de changer les extensions, surtout quand il s’agit des extensions des images par exemple changer le .jpeg en .jpg et .txt en .php, mais le problème c’est que Windows ne permet pas le changement par défaut, car s’il autorise ce changement ça posera des problèmes pour les personnes qui ne savent pas qu’il ne faut pas toucher aux extensions quand on change le nom d’un fichier donc Microsoft a caché une fonction pour permettre aux développeurs d’activer l’affichage des extensions et de changer les extensions facilement 🙂
Pour changer l’extension il faut après tout afficher ces extension puis procéder au changement 😉
1- Afficher l’extension des fichiers Windows :
Ouvrez un fichier (n’importe quel fichier), sur la barre de menu cliquez sur « Outil » puis sur « Option des dossier ».
Vous allez voir apparaitre une fenêtre, cliquez sur l’angle « Affichage » puis décochez la case (Masquer les extensions des fichiers dont le type est connu)
2- Changer l’extension
Allez au dossier qui contient votre fichier, cliquez sur votre fichier puis cliquez sur la touche "F2" du clavier et renommez l’extension de votre fichier.
Voila, c’est fini ^^ vous pouvez avoir un message de confirmation il suffit juste de valider 🙂
Note: quand vous terminez le changement de l’extension, de préférence cachez les à noueau pour ne pas supprimer d’autres extensions par erreur.
merci m farhi bonne contunuation
Merci pour les renseignements