▷ Come modificare l'estensione del file in Windows 10

La modifica dell'estensione del file in Windows 10 o qualsiasi altro sistema può rendere inutilizzabile il file in cui applichiamo le modifiche. Normalmente questo non è rivolto agli utenti normali, è più in generale che non possiamo eseguire queste azioni. Se prendiamo un file e scriviamo un'estensione alla fine, non noteremo alcun cambiamento nell'estensione del file. Queste azioni sono particolarmente utili per gli sviluppatori che lavorano con file e formati diversi e devono cambiare costantemente le loro estensioni.

Indice dei contenuti

A volte abbiamo bisogno in qualsiasi momento di modificare l'estensione di un file che, ad esempio, abbiamo scaricato da Internet e ha perso il suo formato o viene fornito senza un'estensione. Questo viene di solito eseguito dagli utenti che caricano file non troppo legali su Internet in modo che non vengano rilevati come file dannosi.

In questo passo vedremo come modificare l'estensione del file in Windows 10. È applicabile a qualsiasi file che abbiamo.

Abilita l'opzione per mostrare le estensioni dei file in Windows 10

Windows per impostazione predefinita non ha questa opzione attiva, quindi devo eseguire la seguente procedura per attivarla:

• Andiamo nel menu di avvio e scriviamo " Pannello di controllo ". Successivamente, facciamo clic sul risultato della ricerca evidenziato. Una volta all'interno, cambiamo l'aspetto della finestra in " Visualizzazione icona " Selezioniamo l'opzione " Opzioni Esplora file "

• Successivamente, andiamo alla scheda " Visualizza " della finestra a cui abbiamo avuto accesso. Individuiamo l'opzione " Nascondi estensioni di file per tipi di file noti " e la disattiviamo. Applichiamo e accettiamo le modifiche

Cambia graficamente l'estensione del file in Windows 10

Ora siamo in grado di modificare le estensioni dei nostri file. Per questo faremo quanto segue:

• Selezioniamo il file che vogliamo modificare e apriamo le sue opzioni facendo clic con il tasto destro del mouse, scegliamo “ cambia nome ” e possiamo già modificarne l'estensione.

Se ad esempio fai lo stesso, il file perderà il suo formato e non vedremo il contenuto all'interno. Per invertire la situazione possiamo modificare di nuovo la sua estensione e lasciarla com'era.

Si consiglia di effettuare una copia di backup del file prima di modificarne l'estensione

Modifica l'estensione del file in Windows 10 con PowerShell (o CMD)

Oltre alla forma grafica, possiamo farlo anche tramite la console di comando di PowerShell o tramite un prompt dei comandi. Inoltre, per questo metodo non è necessario attivare l'opzione per mostrare le estensioni dei file, perché nella console questo è fatto per impostazione predefinita. Per questo faremo quanto segue:

• Premiamo la combinazione di tasti " Windows + X " per aprire le opzioni del menu Start Scegliamo l'opzione " PowerShell "

Ora dobbiamo conoscere tre diversi tipi di comandi che utilizzeremo:

CD

Viene utilizzato per accedere a una cartella tramite un percorso. Ad esempio, se scriviamo: cd C: \ Users \ user \ downloads accediamo alla cartella download sul nostro computer

cd..

Serve per uscire dalla directory in cui ci troviamo. Si noti che quando ci si trova all'interno di una cartella, il percorso viene mostrato nel terminale

ren

con questo comando cambieremo il nome o l'estensione del file che vogliamo. Ad esempio: ren tutorial.docx tutorial.txt In questo modo il file verrà modificato nella sua estensione.

In questo modo possiamo anche cambiare l'estensione del nostro file. In questi due modi saremo in grado di modificare l'estensione di qualsiasi file sul nostro computer. Dobbiamo stare attenti a questo, poiché potremmo rendere inutili i file che tocchiamo.

Raccomandiamo inoltre i seguenti tutorial:

E tu, perché hai dovuto eseguire questa procedura? Dicci nei commenti perché hai usato la modifica dell'estensione del file. In caso di problemi, faccelo sapere.