O Cinnamon 3.0 foi lançado em abril de 2016 com suporte aprimorado ao GTK + 3.20, novas acessibilidade e configurações de som e muito mais. Embora o Cinnamon 3.0 não esteja disponível para instalação no Ubuntu através do seu PPA oficial, você pode instalá-lo adicionando um PPA da comunidade . Portanto, use-o por sua conta e risco.
Após a conclusão da instalação, efetue o logoff e selecione Ambiente de trabalho Cinnamon clicando no ícone ao lado do seu nome de usuário.
Como eu desativo as atalhos de tecla F1 e F10 no gnome-terminal? Que IDEs estão disponíveis para o Ubuntu? [fechadas]

Ou como uma construção, recuperação ou tudo o que estiver envolvido numa determinada obra numa fachada de um qualquer prédio, não tem, obrigatoriamente, que se resumir a malhas de protecção, andaimes ferrugentos e salpicos de cimento fresco.