Le samedi 29 décembre 2012 à 10:09 +0100, Bill Allombert a écrit : > > For the sake of completeness, let’s add a patch for one of them. > > What does it do ?
It makes it easy to blacklist all Debian entries at once (what we need to do in gnome-shell). On second thought, it needs another change in debian-menu.menu to avoid duplicating all entries at the toplevel: --- /etc/xdg/menus/debian-menu.menu 2012-10-29 10:55:55.000000000 +0100 +++ /tmp/debian-menu.menu 2012-12-29 11:04:13.099793320 +0100 @@ -6,6 +6,7 @@ <DirectoryDir>/var/lib/menu-xdg/desktop-directories/menu-xdg</DirectoryDir> <Name>Debian</Name> <Directory>debian.directory</Directory> +<OnlyUnallocated/> <Include> <Category>X-Debian</Category> </Include> Le samedi 29 décembre 2012 à 10:16 +0100, Bill Allombert a écrit : > The XDG menu specification allows the user to install entries that duplicate > entries > in the root directory. That what running update-menus as a user is doing, no > more no less. You might have become a good lawyer. Cheers, -- .''`. Josselin Mouette : :' : `. `' `- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
