shell-check.patch

   1 --- gdm-3.8.0/data/gdm-shell-with-fallback.session.in.wiget     2013-03-27 21:51:33.323698132 +0100
   2 +++ gdm-3.8.0/data/gdm-shell-with-fallback.session.in   2013-03-27 21:52:51.497070438 +0100
   3 @@ -1,5 +1,5 @@
   4  [GNOME Session]
   5  Name=Display Manager
   6  RequiredComponents=gnome-shell;gnome-settings-daemon;
   7 -IsRunnableHelper=bash -c 'type -p gnome-shell >& /dev/null && @CHECK_ACCELERATED_DIR@/gnome-session-check-accelerated'
   8 +IsRunnableHelper=/bin/sh -c 'type -p gnome-shell 2>&1 >/dev/null && @CHECK_ACCELERATED_DIR@/gnome-session-check-accelerated'
   9  FallbackSession=gdm-fallback