Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

#!/bin/sh

. /usr/share/gnome-session/startgnome-common

# to avoid race with gnome-shell
/bin/rm -f $HOME/.config/gnome-session/saved-session/gnome-shell.desktop >/dev/null 2>&1

CLUTTER_DISABLE_XINPUT=1 exec /usr/bin/gnome-session --session=cinnamon $@