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.

Tabella 2-3Chiavi 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.