|
Size: 3714
Comment:
|
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 |
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
