Tipi di file

All'installazione, Opera presenta delle impostazioni predefinite riguardo la gestione dei file scaricati sul PC.

Per aggiungere un nuovo tipo:

Cliccare su
Inserire il nome esatto della stringa MIME da associare al tipo
Inserire un elenco di estensioni (separate da virgole) da associare al tipo. Ad es. "jpeg, jpg, jpe"
Scegliere l'azione da intraprendere con file del tipo appena definito

Azione	Spiegazione
Mostra finestra dei download	Mostra una finestra in cui scegliere l'operazione da effettuare
Apri con Opera	Opera può gestire testo, linguaggi markup, e immagini
Salva su disco	E' possibile specificare una cartella in cui scaricare i file di quel tipo, ad esempio $HOME/download/zip per gli archivi zip
Apri con un'altra applicazione	Specifica l'applicazione da utilizzare per aprire i file di quel tipo. E' anche possibile passare all'applicazione direttamente l'indirizzo del file (utile con file multimediali in streaming).
Usa un plug-in	Utilizza un plug-in per aprire il file

Alcuni server possono, se erroneamente configurati, confondere il tipo MIME riportato. In questi casi, provare a lasciare che sia Opera ad identificare il tipo corretto basandosi sull'estensione dei file.

Suggerimento: Per rintracciare in breve tempo un tipo di file (ad es. per modificarlo), utilizzare il campo Ricerca veloce.

Nota: Prestare sempre la massima attenzione quando si modifica un tipo di file. Configurazioni errate possono incidere sul funzionamento stesso del browser.