Sommario
Ci sono occasioni in cui scarichiamo un file da Internet o entriamo nel mondo dello sviluppo software e dobbiamo vedere quale estensione hanno alcuni file per cambiarli forse un .testo ancora .html o .php o solo per curiosità vogliamo vedere queste informazioni, vediamo alcuni semplici passaggi per poter vedere l'estensione dei file e se necessario cambiarla.1
Andiamo nella cartella in cui si trova il file o il gruppo di file, di cui vogliamo cambiare l'estensione.
2
Lì nelle opzioni in alto cerchiamo la scheda Visualizzazione, se guardiamo l'immagine seguente abbiamo il file indice verde sfumato, che non ha estensione visibile:
INGRANDIRE
Per cambiare l'estensione del file dobbiamo prima renderlo visibile, per questo segniamo Estensioni dei nomi dei file e automaticamente il nostro file avrà l'estensione .html come possiamo vedere nell'immagine seguente:
INGRANDIRE