Come modificare l’estensione del file in Windows 10
In ogni sistema operativo, vari tipi di file, ad esempio immagini, documenti, video, ecc. Sono distinti l’uno dall’altro in modo che il computer possa associare il programma a loro per aprirli. In Windows 10, per impostazione predefinita, il tipo di file, che è indicato dalla cosiddetta “estensione”, è nascosto. I file si distinguono tra loro solo dall’icona con cui sono rappresentati nelle cartelle e sul desktop, icona che richiama il programma che si apre se cliccati. Per alcuni tipi di file, come video o immagini, viene visualizzata un’anteprima come un’icona così come per i file eseguibili, ovvero quelli che aprono programmi e giochi. mostrano le estensioni dei file, queste compaiono nel nome del file stesso, con un punto davanti. Ad esempio, pippo.jpg se si tratta di un’immagine o test.txt se si tratta di un file di testo.
È importante notare che la modifica dell’estensione del file (ora esamineremo diversi modi per farlo ), il tipo di file non cambia. Se quindi modifichi l’estensione ad un file immagine facendolo sembrare un file di testo, il sistema proverà ad aprirlo con il programma che apre i file di testo, dando comunque errore e ritenendolo non leggibile.
Il cambio estensione file è, quindi, un’operazione delicata che richiede attenzione, ma che comunque è importante saper fare per salvare i file in modo che vengano aperti con il programma giusto e più appropriato. Esistono diversi modi per modificare l’estensione del file, quindi vediamo quelli più semplici ea portata di mano.
Indice
Salvare un file con un’estensione diversa
La seguente procedura si applica a qualsiasi tipo di file ed è sicura perché permette di cambiare l’estensione del file senza essere in grado di commettere errori.
- Apri un file nel suo programma predefinito (ad esempio un file di testo .jpg con il visualizzatore Irfanview).
- Fare clic sul menu File e premere Salva con nome.
- Scegliere la cartella in cui salvare il file e assegnargli un nome.
- Nella finestra di dialogo Salva con nome, sotto la casella in cui è scritto il nome, troverai un menu a tendina con un’etichetta Salva con nome che mostra un elenco di tutti i tipi di file che possono salvare il programma che stai utilizzando (se stai usando Irfanview, esso sarà in grado di salvare un’immagine in tutti i formati di immagine più comuni, ad esempio, un JPG può essere salvato come .png, .webp, .bm p, ecc.)
- Il file originale non verrà modificato e in questo caso verrà creata una copia di quel file con un’estensione diversa.
Questo tipo di modifica può essere utile per convertire le immagini in diversi formati che possono essere più o meno compressi.
Rinomina il file per cambiare l’estensione
L’estensione di un file si trova nella sua nome, ma è nascosto per impostazione predefinita. Per scoprirlo e renderlo visibile, in Windows 10, apri una cartella qualsiasi e poi pigia in alto sul menu Visualizza. Nel menu che si apre, cerca l’opzione Estensioni nome file e attivala. Nota che questa opzione sarebbe quindi meglio disattivarla una volta terminate le modifiche perché lasciandola attivata si corre il rischio di modificare inavvertitamente l’estensione di un file ogni volta che si tenta di rinominarlo).
A questo punto, il i nomi dei file verranno tutti visualizzati con un punto e un’estensione, ad esempio test.txt o How2do.org.
Per cambiare l’estensione, premi semplicemente il file con il tasto destro del mouse, vai su rinomina e cambia la parte in a destra del punto. Prima di salvare la modifica, Windows 10 chiederà conferma, avvertendo che l’estensione del file è stata modificata e che il file potrebbe non essere più utilizzabile.
In realtà, in caso di errori, puoi sempre restituire l’estensione inserendo il quello vero. Abbiamo visto in un altro articolo come farlo se un file non si apre perché l’estensione è sconosciuta o se utilizza il programma sbagliato.
Cambia l’estensione di tutti i file in una cartella
Se è necessario modificare l’estensione di tutti i file di un certo tipo in una cartella, è necessario aprire il prompt dei comandi. Dal menu Start, cerca cmd e apri il prompt dei comandi di Windows 10. Se abbiamo bisogno di entrare in una cartella specifica nel prompt dei comandi, dovremmo invece fare clic con il tasto destro su quella cartella tenendo premuto il tasto Maiusc e quindi selezionare Apri prompt dei comandi da qui o Apri la finestra di Powershell da qui.
I comandi da usare per cambiare estensione sono i seguenti:
REN foo.txt foo.html (cambia il file txt chiamato Pippo in un file Html)
REN * .txt * .html (cambia tutti i file txt nella cartella in file html)
Se vuoi cambiare più estensioni di file insieme puoi anche usare un programma come Bulk Extension Changer che rende tutto più facile.
Quando può essere necessario modificare le estensioni dei file
Di solito, non è necessario cambiare le estensioni dei file, tranne in alcuni casi specifici, come:
– Se scrivi codice di programmazione utilizzando il Blocco note di Windows, puoi cambiare il file.txt del file in .bat (se crei un file batch) o .html (se scrivi una pagina web) o .js (se scrivi codice javascript) e così via.
– Puoi scomporre un file generato da un programma Office come Word o Excel nei suoi elementi, cambiando l’estensione del file da .docx o .xlsx a .zip.
– Puoi cambiare l’estensione in un file di sistema per salvare una copia intatta se si apportano modifiche (come visto, ad esempio, per il trucco che permette di entrare in Windows senza password).
– Converti il formato di un file immagine, ma questo va fatto utilizzando il programma di visualizzazione come visto nel primo punto.
– Converte il video in un formato diverso (es. .mp4) o in un file audio (.mp3); per fare questo, però, è necessario un programma di conversione video.
Infine, ricorda che è possibile associare un programma ad un file particolare a seconda della sua estensione. Abbiamo visto come farlo nella guida su come modificare il programma per aprire un file in Windows.