Vous êtes ici parce que vous voulez pouvoir modifier l’extension d’un fichier sans passer par un éditeur de texte. Donc, directement, par le clic droit, en renommant le fichier. Et bien, c’est ce qu’on va faire ici.
Pour commencer, je vais créer un nouveau dossier que je vais appeler « mon dossier ». Je vais ouvrir ce dossier et je vais créer devant un fichier. Si je crée un fichier ici en faisant nouveau document texte et que je fais « index.html », on peut voir que l’extension n’a pas changé. On est toujours en « .txt » et que le « .html » fait partie du nom du fichier. C’est ce que nous allons changer ici.
Pour pouvoir changer ce paramètre, dans notre dossier, nous allons aller dans Affichage > Option > Modifier les options des dossiers et de recherche dans l’onglet Affichage. On va rechercher la case à cocher : Masquer les extensions dont le type de fichier est connu. On va la décocher et on fait « appliquer ». Maintenant, l’extension qui était cachée avant est affichée dans le fichier.
Il suffira donc de renommer ce fichier en appuyant sur « F2 » et de lui donner le nom de « index.html ». On aura une fenêtre qui va nous confirmer que nous sommes en train de changer l’extension de ce fichier. Si on fait « Oui », le fichier « txt » se transforme en page « html ». On aurait pu très bien faire ça en « CSS », ou encore du « PHP », ou même encore du Python. Et toutes autres extensions que vous désirez utiliser pour les fichiers.