#! /bin/sh

exec gnome-session \
	--default-session-key /desktop/gnome/session/default_session3 \
	--saved-session saved-session3 \
	"$@"
