Come cambiare il tipo di file su Windows, macOS e Linux

2024 Autore: Malcolm Clapton | [email protected]. Ultima modifica: 2023-12-17 04:01

Questa semplice operazione può essere eseguita con pochi clic.

Il tipo, o meglio, il formato del file, è una sorta di identificatore che ha qualsiasi dato sul computer. È necessario affinché il sistema capisca in quale applicazione devono essere aperti. Il formato del file è indicato come estensione - due o tre caratteri dopo il punto alla fine del nome. Ad esempio: foto.jpg, documento.txt, canzone.mp3.

Fondamentalmente, cambiare un tipo di file significa convertirlo in un formato diverso utilizzando un convertitore. E ciò che la maggior parte degli utenti intende con questa procedura è in realtà un cambio di estensione.

Questa operazione può essere eseguita quando è necessario aprire una delle opzioni di formato file in un'applicazione che non vuole utilizzarla. Ad esempio, cambia l'estensione di un file audio da M4A a MP3 e inseriscilo nel lettore. Funzionerà per manipolazioni così semplici, ma non aiuterà nei casi di conversione di video in audio o libri EPUB in FB2.

Se sei interessato alla conversione, dai un'occhiata ad altri articoli di Lifehacker su questo argomento.

Se hai bisogno di cambiare il tipo di file per poterlo aprire nella tua applicazione, continua a leggere.

Come cambiare il tipo di file in Windows

Le estensioni dei file non sono visibili in Windows per impostazione predefinita. Pertanto, per modificarli, è necessario prima abilitare la visualizzazione nelle impostazioni di "Explorer". In Windows 10, per fare ciò, apri la cartella con il file desiderato, vai al menu "Visualizza" e seleziona la casella accanto a "Estensioni nome file".

Nelle versioni precedenti, è necessario utilizzare il metodo generico. Apri "Pannello di controllo" → "Opzioni cartella", quindi nella scheda "Visualizza", deseleziona "Nascondi estensioni per tipi di file registrati" e fai clic sul pulsante "Applica".

Ora, quando l'estensione viene visualizzata nel nome del file, per cambiarla, è sufficiente rinominarla inserendone una nuova dopo il punto - tramite il menu standard o facendo clic sul nome evidenziato. Se qualcosa va storto, sarà altrettanto facile rimettere tutto a posto.

Come cambiare il tipo di file su macOS

macOS nasconde anche le estensioni dei file per impostazione predefinita, quindi dovrai prima modificare l'opzione appropriata. Per fare ciò, avvia Finder e apri le sue preferenze premendo Comando + <o tramite il menu Finder → Preferenze. E nella sezione "Componenti aggiuntivi", seleziona "Mostra tutte le estensioni dei nomi di file".

Resta da rinominare il file premendo Invio o facendo due clic sul nome. Invece della vecchia estensione, è necessario inserirne una nuova, quindi premere Invio e confermare l'azione facendo clic su "Usa …".

Come cambiare il tipo di file in Linux

Nelle distribuzioni Linux, tutto è molto più semplice. L'estensione del file viene sempre visualizzata qui. Pertanto, per modificarlo, è sufficiente selezionare "Rinomina" nel menu di scelta rapida facendo clic con il pulsante destro del mouse e impostare un nuovo nome con l'estensione richiesta.