Bug#845997: mate-session-manager: should use alternatives priority 40 for /usr/bin/mate-session

[Wolfgang Schweer <wschweer@arcor.de>]

Source: mate-session-manager
Version: 1.16.0-1
Severity: important
User: debian-edu@lists.debian.org
Usertag: debian-edu


Hi,

sitting here in Oslo testing Debian Edu stretch, we noticed that an 
installation with 'desktop=mate' ended up in a system with Plasma as 
default session.

One reason seems to be the wrong priority for /usr/bin/mate-session 
(value 30). Plasma is the winner in automatic mode cause 
/usr/bin/startkde has the value 40.

So please use priority 40 to make automatic mode working correctly with 
update-alternatives.


Wolfgang