The original article was written on 2011-11-22 about GNOME 3.0. And I need to update for GNOME 3.1x, because gnome-session-properties has gone.
How to fix
This problem is old enough. For Debian, we have at least two bug reports.
https://bugs.debian.org/623539 https://bugs.debian.org …