Como resolver o problema do cedilha não funcionando no Gnome 1 - Altere o Layout do teclado para English (US, intl., with dead keys). 2 - Abra o terminal e entre no arquivo /etc/environment com o seguinte comando: sudo vim /etc/environment 3 - E adicionar a seguinte linha ao final do arquivo: GTK_IM_MODULE=cedilla 4 - Salve e saia e reinicie!