shell-check.patch

   1 --- gdm-3.2.1.1/data/gdm-shell.session.in.wiget 2011-10-19 19:38:06.384218726 +0200
   2 +++ gdm-3.2.1.1/data/gdm-shell.session.in       2011-10-19 19:38:45.769335146 +0200
   3 @@ -1,5 +1,5 @@
   4  [GNOME Session]
   5  Name=Display Manager
   6  RequiredComponents=gnome-shell;gnome-settings-daemon;
   7 -IsRunnableHelper=bash -c 'gnome-shell --help | grep -q gdm-mode && @libexecdir@/gnome-session-check-accelerated'
   8 +IsRunnableHelper=sh -c 'gnome-shell --help | grep -q gdm-mode && @libexecdir@/gnome-session-check-accelerated'
   9  FallbackSession=gdm-fallback