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.
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. |