Você deve verificar se algum pacote Cinnamon está instalado, abrindo o terminal e digitando o seguinte sudo apt-get list
. Você obterá uma lista, procurará por qualquer pacote Cinnamon e depois tentará isto: sudo apt-get purge (package name here) && sudo apt-get autoremove
Se isso não ajudou, você pode reinstalar o GNOME com sudo apt-get install --reinstall gnome-shell
. Espero que isso ajude!