Differences between revisions 2 and 3
Revision 2 as of 2010-09-15 09:15:03
Size: 3714
Editor: ?skizzhg
Comment:
Revision 3 as of 2010-09-18 18:59:42
Size: 3825
Comment: some fixes
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
||<tablestyle="width: 100%;" style="border: 0px hidden">~-[[DebianWiki/EditorGuide#translation|Translation(s)]]: [[it/MIME|Italiano]]-~||<style="text-align: right;border: 0px hidden"> (!) [[/Discussion|Discussion]]|| ||<tablestyle="width: 100%;" style="border: 0px hidden">~-[[DebianWiki/EditorGuide#translation|Translation(s)]]: [[MIME|English]] - Italiano-~||<style="text-align: right;border: 0px hidden"> (!) [[/Discussion|Discussion]]||
Line 13: Line 13:
Gli utenti possono impostare le proprie estensioni ai mime nel file $HOME/.mime.types. Gli utenti possono impostare le proprie preferenze per le associazioni di estensioni ai mime nel file $HOME/.mime.types.
Line 15: Line 15:
Nei sistemi unix sono tradizionalmente ignorate. Le estensioni nei sistemi unix sono tradizionalmente ignorate.
Line 22: Line 22:
"file --mime ''nome del file''" cerca di dare il tipo di mime del ''nome del file''. "file --mime ''nome del file''" cerca di dare il tipo di mime di ''nome del file''.
Line 28: Line 28:
'''Applicativo specifico:''' Gli applicativi possono avere le loro regole mime. Come realizzare e registrare quelle regole spetta ad ogni applicativo. Può essere il desktop GNOME o un browser web in esecuzione all'interno di GNOME, in modo che differenti gruppi di regole possono essere controllati prima di fare riferimento ad /etc/mime.types. '''Impostazioni applicazione-specifiche:''' Gli applicativi possono avere le loro regole mime. Il modo in cui realizzano e registrano quelle regole è una loro scelta. Una tale "applicazione" può essere il desktop GNOME o un browser web in esecuzione all'interno di GNOME, perciò differenti gruppi di regole possono essere controllati prima di fare riferimento ad /etc/mime.types.
Line 39: Line 39:
selezionado i tipi di file e i programmi. e selezionado i tipi di file e i programmi.
Line 46: Line 46:
È possibile aggiungere delle preferenze MIME di sistema installando un plugin standalone per il browser (vedi [[Mozilla]], [[MozPluggerMIME]]). È possibile aggiungere delle preferenze MIME di sistema invece di installare un plugin indipendente per il browser (vedi [[Mozilla]], [[MozPluggerMIME]]).
Line 50: Line 50:
Lo strumento di configurazione Nautilus Mime Type definirà inoltre i tipi di mime per Mozilla. Lo strumento di configurazione /usr/bin/gnome-file-types-properties permetterà di modificare i seguenti file di configurazione: Lo strumento di configurazione Gnome Nautilus Mime Type definirà inoltre i tipi di mime per Mozilla. Lo strumento di configurazione /usr/bin/gnome-file-types-properties permetterà di modificare i seguenti file di configurazione:
Line 52: Line 52:
    * $HOME/.gnome/mime-info/user.keys: Elenca i tipi di mime e l'applicazione associata application/viewer
    * $HOME/.gnome/mime-info/user.mime: Tipi di mime ed estensione file associata
    * $HOME/.gnome/mime-info/user.keys: Elenca i tipi di mime e l'applicazione/il visualizzatore associata/o
    * $HOME/.gnome/mime-info/user.mime: Tipi di mime ed estensione file associate

Translation(s): English - Italiano

(!) ?Discussion


MIME descrive il tipo di dati contenuti in un file. É ampiamente usato per indicare il programma con cui aprire un tipo di file.

Definizione di MIME: Vedi MIME

Viene utilizzata una varietà di metodi per determinare il tipo MIME di un file. I protocolli internet come http ed e-mail di solito forniscono il tipo MIME in modo esplicito. Quando si clicca su di un file in un gestore di file vengono comunemente usati l'estensione (ad esempio .pdf) ed i cosiddetti "numeri magici" (come i byte fissi nell'intestazione di un file eseguibile).

Estensioni dei nomi di file: La mappatura a livello di sistema dalle estensioni ai tipi di mime è impostata in /etc/mime.types.

Gli utenti possono impostare le proprie preferenze per le associazioni di estensioni ai mime nel file $HOME/.mime.types.

Le estensioni nei sistemi unix sono tradizionalmente ignorate.

Numeri magici: I numeri magici sono byte o stringhe impostati a valori particolari all'interno dei file di un certo tipo e che possono essere usati per indovinare il tipo di file con ragionevole certezza.
Per esempio gli script awk iniziano di solito con la riga "#!/usr/bin/awk" o "#!/bin/awk", possibilmente con spazi dopo il !.

Uno strumento estremamente utile per indovinare il tipo di file in base al suo contenuto è il comando da terminale "file".
"file --mime nome del file" cerca di dare il tipo di mime di nome del file.

Il comando "file" utilizza numeri magici conservati in "/usr/share/file/magic". Questo file viene creato automaticamente e quindi non dovrebbe essere personalizzato in quanto le vostre preziose modifiche andranno perse quando il file viene ricostruito. Il formato del file è descritto in man magic.

Le integrazioni a livello di sistema per la libreria di riconoscimento magic-number risiedono in /etc/magic.

Impostazioni applicazione-specifiche: Gli applicativi possono avere le loro regole mime. Il modo in cui realizzano e registrano quelle regole è una loro scelta. Una tale "applicazione" può essere il desktop GNOME o un browser web in esecuzione all'interno di GNOME, perciò differenti gruppi di regole possono essere controllati prima di fare riferimento ad /etc/mime.types.

Predefinito: Se il tipo di mime non può essere determinato il valore predefinito è application/octet-stream.

Nautilus

È possibile selezionare il programma per gestire un file, digitando in Nautilus

  applications:///Preferences/Advanced

e selezionado i tipi di file e i programmi.

Un altro modo è utilizzare FileTypesProperties. Digitare in un terminale

 gnome-file-types-properties

È possibile aggiungere delle preferenze MIME di sistema invece di installare un plugin indipendente per il browser (vedi Mozilla, MozPluggerMIME).

Mozilla e Nautilus

Lo strumento di configurazione Gnome Nautilus Mime Type definirà inoltre i tipi di mime per Mozilla. Lo strumento di configurazione /usr/bin/gnome-file-types-properties permetterà di modificare i seguenti file di configurazione:

  • $HOME/.gnome/mime-info/user.keys: Elenca i tipi di mime e l'applicazione/il visualizzatore associata/o
  • $HOME/.gnome/mime-info/user.mime: Tipi di mime ed estensione file associate

Valori di sistema:

  • /usr/share/mime-info/gnome.mime

Si veda anche: