Esta é a coisa mais estranha que já vi. Acabei de instalar o novo 16.04 e depois instalei o Cinnamon, que estava funcionando perfeitamente até onde eu sabia. Hoje fiz uma "atualização parcial" e quando reiniciei, ao invés de ter algumas opções para Cinnamon e uma para Ubuntu, tenho Gnome e Ubuntu. Eu nem gosto do Gnome e não o instalaria sozinho.
O que aconteceu? Alguma coisa mudou que eu não saiba? Eu ia tentar reinstalar o Cinnamon, mas vou esperar um pouco e ver se alguém aqui tem informações úteis primeiro. Devo acrescentar que os arquivos do Cinnamon ainda estão na minha pasta /usr, onde sempre estiveram. Uma reinstalação é a melhor maneira de fazer isso?
Obrigado!