Com este comando e após a escolha da área de trabalho de login:
sudo apt install cinnamon-desktop-environment
Consigo usar a interface do Cinnamon após o login. Mas depois de encerrar a sessão ou reiniciar o computador, a tela antes do login sempre permanece a da interface do gnome.
Como posso definir o Cinnamon antes mesmo de fazer login?
Caio Mário.
apt-get install lightdmdpkg-reconfigure gdm3, agora você pode selecionar seu gerenciador de login.A próxima inicialização mostra o gerenciador de login em vez do padrão.