• # Autre méthode

    Posté par . En réponse au message [Debian] Personnaliser le menu de XFCE4. Évalué à 3.

    Après quelques tests, je me suis rendu compte qu'une meilleure solution est soit de faire pointer l'entité 'debian' du fichier $HOME/.xfce4/menu.xml vers /etc/X/xfce4/menudefs.hook au lieu de menudefs.hook, soit de remplacer $HOME/.xfce4/menudefs.hook par un lien symbolique vers /etc/X/xfce4/menudefs.hook (via la commande ln -s).

    Mais cela ne suffit pas, le menu Debian n'est pas mis à jour lors de l'ajout d'une application via apt-get. Pour résoudre cela, la solution que j'ai trouvée consiste à ajouter l'entrée suivante au menu xfce4 :

    [app name="Mise à jour du menu" cmd="touch .xfce4/menu.xml" /]

    L'explication est que le menu de xfce4 n'est rechargé que si son fichier config a été modifié depuis le chargement précédent. Or, lors de l'ajout d'une application via un apt-get, seul /etc/X11/xfce4/menu.xml est modifié. Donc, comme votre menu utilise $HOME/.xfce4/menu.xml, qui lui n'a pas été modifié, le menu Debian n'est pas rechargé.

    En sélectionnant 'Mise à jour du menu' dans le menu clic droit de XFCE4, la commande 'touch' va changer la date et l'heure de dernière modification de $HOME/.xfce4/menu.xml, forçant ainsi le rechargement du menu.