diff options
Diffstat (limited to 'gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1')
| -rw-r--r-- | gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1 b/gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1 new file mode 100644 index 0000000..4bbf863 --- /dev/null +++ b/gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1 @@ -0,0 +1,6 @@ +#!/bin/sh + +if [ -z "$XDG_MENU_PREFIX" ] && { [ "$DESKTOP_SESSION" = "gnome" ] || [ "$DESKTOP_SESSION" = "cinnamon" ]; } +then + export XDG_MENU_PREFIX=gnome- +fi |