Questa capplet vi permette di configurare come i vari tipi di file vanno trattati. I tipi di file (precedentemente chiamati tipi MIME) descrivono quale tipo di dati e in quale formato il file contiene. Per ogni tipo di file, è possibile impostare quale icona deve essere usata dal File Manager, l'applicazione preferita che deve essere usata per aprire i file di questo tipo, ecc. Per esempio il tipo di file image/jpeg è usato per i file di immagini in formato JPEG; normalmente, queste sono aperte usando il visualizzatore integrato nel File Manager.
La cpplet Tipi di file mostra tutti i tipi di file attualmente noti a Gnome. Per ogni tipo di file, mostra una breve descrizione (es: PDF document), il nome del tipo di file (es: application/pdf), ecc. Cliccando su un tipo di file nella lista, vi verranno mostrate più informazioni su di esso, ovvero:
Breve descrizione (es: PDF document)
Nome "ufficiale" del tipo di file, o tipo MIME (es: application/pdf). Questi nomi devono essere nella forma tipo/sottotipo, dove tipo descrive un tipo generale di dati (immagini, testo, audio, video o applicazione) e sottotipo da una completa specifica.
Icona che deve essere utilizzata dal File Manager per mostrare questo tipo di file.
Azione predefinita che deve essere svolta quando si clicca su un file dentro una finestra del File Manager. Ci sono due possibili tipi di azione predefinita: visualizzare il file utilizzando uno dei "visualizzatori" interni del File Manager o aprire il file utilizzando un'applicazione esterna. Nei fatti, è possibile avere un'intera lista di applicazioni che possono essere usate per aprire il file. Ona di queste sarà quella utilizzata in automatico quando cliccate su un file; le altre saranno incluses in un menu pop-up (per aprire il menu pop-up cliccate sul file, dentro la finestra del File Manager, con il tasto destro del mouse e selezionate Apri con).
Estensioni: queste sono utilizzate dal File Manager e altre applicazioni Gnome per determinare il tipo di file di un certo file. Il metodo più comune e facile di farlo è testando l'estensione del file: per esempio, l'estensione pdf è utilizzata per i tipi di file application/pdf.
![]() | NOTA PER GLI UTENTI ESPERTI |
---|---|
In realtà, il File Manager di Gnome può utilizzare anche metodi più elaborati per determinare il tipo di file che semplicemente testare l'estensione. Gli utenti esperti che vogliono conoscere qualcosa in più, possono vedere il file PREFIX/mime-info/gnome-vfs.mime, dove PREFIX=/usr/share o /usr/local/share a seconda della vostra configurazione di sistema. |
La cosa più comune che si fa quando si modifica un tipo di file è cambiare l'azione predefinita associata a un tipo di file. Per farlo:
Cliccate sul tipo di file nella lista.
Selezionate il tipo di azione predefinita (Usa visualizzatore o Apri con l'applicazione)
Selezionate l'applicazione/il visualizzatore che desiderate sia impostato come predefinito dalla lista drop-down. Se non riuscite a vedere l'applicazione che desiderate nella lista, cliccate sul pulsante Modifica Lista. Questo vi mostrerà la lista di tutte le applicazioni attualmente incluse nel menu pop-up per questo tipo di file. Ora cliccate sul pulsante Aggiungi applicazione e inserite il nome dell'applicazione (es: Gnome PS viewer) e il comando usato per lanciarla (es: ggv).
È possibile anche cambiare altre proprietà di un tipo di file:
Per cambiare l'icona usata per un tipo di file, cliccate sul pulsante Cambia icona.
Per cambiare la descrizione del tipo di file, basta semplicemente cliccare dentro il campo di testo contenente la descrizione e modificarla.
Per editare una lista di estensioni associate con un tipo di file cliccate sul pulsante Cambia estensione file. Questo vi mostrerà una finestra con una lista di estensioni attualmente associate a questo tipo di file. Per rimuovere un'estensione dalla lista, selezionatela con il mouse e poi cliccate il pulsante Rimuovi. Per aggiungere una nuova estensione, cliccate sul pulsante Aggiungi e inserite l'estensione nella finetra di dialogo che vi apparirà. Non scrivete il punto iniale: se desiderate aggiungere l'estensione pdf, dovrete inserire pdf e non .pdf.
Per modificare la lista delle applicazioni associate ad un tipo di file (queste applicazioni appaiono nel menu quando cliccate con il tasto destro su un file di questo tipo nel File Manager e selezionate Apri con), cliccate sul pulsante Modifica Lista. Questo vi mostrerà la lista delle applicazioni associate a quasto tipo di file. È possibile rimuovere qualsiasi applicazione della lista, modoficarne una esistente (questo vi permette di cambiare il nome con il quale l'applicazione appare nel menu e il comando utilizzato per lanciarla), o aggiungerne una nuova. Invece di rimuovere un'applicazione dalla lista è possibile anche disabilitarla temporaneamente.una applicazione disabilitata non verrà mostrata nel menu per questo tipo di file.
Per rimuovere un tipo di file, selezionatelo nella lista dei tipi di file e premete il pulsante Rimuovi questo tipo MIME. Per aggiungere un nuovo tipo di file, premete il pulsante Aggiungi un nuovo tipo MIME. Vi verrà richiesto di inserire il nome del tipo di file e la sua descrizione. E' fortemente consigliato seguire gli standard MIME: il nome del tipo di file dovrebbe essere nella forma tipo/sottotipo, dove tipo è uno dei seguenti tipi standard: text, audio, image, video oppure application (l'ultimo dovrebbe essere utilizzato se nessuno degli altri quattro si addice).
Dopo aver inserito il nome del tipo di file e la descrizione, il nuovo tipo di file viene aggiunto alla lista. Ora è possibile selezionarlo dalla lista e aggiungere un'icona, l'estensione del file e un'azione predefinita per il file come descritoo in la sezione Modificare un tipo di file.
Se voi (o qualcun'altro) fate qualcosa di sbagliato in questa capplet, è possibile eliminare tutte le modifiche e ripristinare i valori di sistema originali per tutte le impostazioni controllate da questa capplet (cioè: tipi di file, azioni predefinite, icone, ecc.). Per farlo, cliccate sul pulsante Ripristina impostazioni originali. E' da notare che questa operazione eliminerà tutte le vostre modifiche; non è possibile tornare indietro dopo questa operazione.