Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/gnome-base/gnome-menus/files/10-xdg-menu-gnome
blob: b12a712eb45ff8dd03e750204f5d64147e84daa3 (plain) 
1
2
3
4
5
6

#!/bin/sh

if [ -z "$XDG_MENU_PREFIX" ] && [ "$DESKTOP_SESSION" = "gnome" ]
then
	export XDG_MENU_PREFIX=gnome-
fi