Fichiers d'entrée de répertoire

Un fichier d'entrée de répertoire est un fichier de données qui contient des informations sur un menu. Il définit les détails du menu, tels que le nom, l'infobulle et l'icône. Les fichiers d'entrée de répertoire possèdent une extension .directory.

Les fichiers d'entrée de répertoire doivent se trouver dans le répertoire $XDG_DATA_DIRS/desktop-directories. Si $XDG_DATA_DIRS n'est pas définie, le chemin par défaut utilisé est /usr/share. Cela implique également que des entrées de répertoire spécifiques aux utilisateurs peuvent se trouver dans $XDG_DATA_HOME/desktop-directories qui est parcouru en premier. Si $XDG_DATA_HOME n'est pas définie, le chemin par défaut utilisé est ~/.local/share. Les entrées de répertoire sont récupérées dans tous les répertoires contenus dans la variable d'environnement $XDG_DATA_DIRS. Ceux qui apparaissent en premier dans $XDG_DATA_DIRS reçoivent la priorité lorsque plusieurs fichiers .directory ont le même nom.

Voici un exemple de fichier d'entrée de répertoire :

[Desktop Entry]
Name=Graphics
Name[fr]=Graphisme
...
Comment=Graphics applications
Comment[fr]=Applications graphiques
...
Icon=gnome-graphics
Type=Directory
Encoding=UTF-8

Le Tableau II.3 décrit les clés les plus importantes dans les fichiers d'entrée de répertoire.

Tableau II.3 Clés d'entrée de répertoire
Clé d'entrée de répertoire Description
Name Spécifie le nom du menu. C'est le nom qui apparaît dans le menu.
Comment Spécifie une courte description du menu. Le commentaire s'affiche sous la forme d'une infobulle lorsque le pointeur de la souris se trouve sur le menu.
Icon Spécifie le nom de fichier d'une icône qui représente le menu. Elle ne contient pas le chemin vers le nom de fichier, ni l'extension du fichier.
Type Spécifie le type du menu. La valeur de cette clé est toujours Directory.