Sou eu usuário do Cinnamon e recomendo que você reinstale o Gnome por alguns motivos. Primeiro, você provavelmente ainda vai querer rodar o Gnome Display Manager (é provável que você esteja desinstalando uma linha de comando.) Segundo, o Cinnamon depende de algumas das principais bibliotecas do Gnome, então você não está economizando muita coisa desinstalando Gnomo. Terceiro, e mais importante, você provavelmente se deparará com o problema ocasional após as atualizações, e ter o Gnome e o Cinnamon instalados permite alternar entre os dois ambientes para isolar problemas com mais facilidade. Com ambos instalados, tudo o que você precisa fazer é clicar no ícone de roda dentada na tela de login do gerenciador de exibição e selecionar Cinnamon or Gnome como seu DE. (é uma configuração pegajosa, então você só precisa fazer isso quando quiser mudar)