File directory entry
Un file directory entry è un file di dati che fornisce informazioni su un menu. Il file directory entry specifica i dettagli per un menu come un nome, un suggerimento ed un'icona. I file directory entry hanno estensione .directory.
I file directory entry debbono risiedere nella directory $XDG_DATA_DIRS/desktop-directories/. Se $XDG_DATA_DIRS non è impostata, allora viene usato il percorso predefinito /usr/share/. Ciò implica anche che i file directory entry specifici per l'utente possono essere posizionati in $XDG_DATA_HOME/desktop-directories/, che viene cercata per prima. Se $XDG_DATA_HOME non è impostata, allora è usato il percorso predefinito ~/.local/share/. I file directory entry sono raccolti da tutte le directory nella variabile d'ambiente $XDG_DATA_DIRS. Le directory che appaiono per prime in $XDG_DATA_DIRS hanno la predecenza qualora vi siano diversi file .directory con lo stesso nome.
Il seguente è un esempio di file directory entry:
[Desktop Entry] Name=Graphics Name[fr]=Graphisme Name[it]=Grafica ... Comment=Graphics applications Comment[fr]=Applications graphiques Comment[it]=Applicazione grafiche ... Icon=gnome-graphics Type=Directory Encoding=UTF-8
In Tabella 2-3 sono descritte le chiavi principali dei file directory entry.
Chiave directory entry | Descrizione |
---|---|
Name | Specifica il nome del menu. Tale nome è mostrato nel menu. |
Comment | Specifica una breve descrizione del menu. Il commento è mostrato come suggerimento quando si punta il menu. |
Icon | Specifica il nome di file di un'icona che rappresenta il menu. Non va specificato il percorso del nome del file o l'estensione del file. |
Type | Specifica il tipo di menu. Il valore di questa chiave è sempre Directory. |