gnome-base/gnome-menus/files/10-xdg-menu-gnome-r1


1
2
3
4
5
6

#!/bin/sh

if [ -z "$XDG_MENU_PREFIX" ] && { [ "$DESKTOP_SESSION" = "gnome" ] || [ "$DESKTOP_SESSION" = "cinnamon" ]; }
then
	export XDG_MENU_PREFIX=gnome-
fi