File: 02_kill_debian_menu.patch

package info (click to toggle)
gnome-menus 3.38.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,004 kB
  • sloc: ansic: 8,237; sh: 5,468; makefile: 162; python: 55; javascript: 26; sed: 16
file content (28 lines) | stat: -rw-r--r-- 918 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
From: Josselin Mouette <joss@debian.org>
Date: Wed, 2 Jan 2013 20:20:31 +0000
Subject: Remove the historical Debian menu as generated by menu-xdg

Completely remove Debian menu
entries by discarding them at the parsing stage. This should work
around bug #696530 in menu-xdg.

Origin: vendor, Debian
Forwarded: not-needed
Bug-Debian: https://bugs.debian.org/696530
---
 libmenu/desktop-entries.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libmenu/desktop-entries.c b/libmenu/desktop-entries.c
index 7ecaef8..0e42fe0 100644
--- a/libmenu/desktop-entries.c
+++ b/libmenu/desktop-entries.c
@@ -249,6 +249,8 @@ desktop_entry_load_directory (DesktopEntry  *entry,
 static gboolean
 desktop_entry_load (DesktopEntry *entry)
 {
+  if (strstr (entry->path, "/menu-xdg/"))
+    return FALSE;
   if (entry->type == DESKTOP_ENTRY_DESKTOP)
     {
       DesktopEntryDesktop *entry_desktop = (DesktopEntryDesktop*)entry;