L’impostazione di default di Windows Explorer è quella di nascondere l’estensione dei file. In questa situazione modificare l’estensione di un file non è facile. Possiamo modificare l’impostazione predefinita deselezionando la casella Nascondi le estensioni per i tipi di file conoscuti, che si raggiunge attraverso il menù Strumenti->Opzioni Cartella. Comunque non a tutte le persone piace vedere l’estensione dei file e per loro questa soluzione non va bene.

Io personalmente visualizzo le estensioni ma se sto lavorando con un computer non mio e devo cambiare l’estensione di un file, apro il Prompt dei Comandi, navigo nella cartella in cui si trova il file da rinominare ed utilizzo il comando DOS ren. Non molto pratica come soluzione. Ma ora ho scoperto File Extension Changer che è una piccola utility che permette di cambiare l’estensione di qualsiasi file attraverso il menù contestuale visibile cliccando il file con il tasto destro del mouse.

Quando si seleziona l’opzione Change Extension, viene mostrata una finestra di dialogo che ci invita ad inserire la nuova estensione. Si clicca OK ed il gioco è fatto. Una soluzione molto più veloce dell’utilizzo del Prompt dei Comandi.

Popularity: 21% [?]