Após a instalação do driver da Nvidia, a tecla ponto e vírgula e dois pontos não estavam funcionando corretamente. Para resolver este problema, clique em Sistema, Preferências, Teclado.

Em Disposição, clique em Escolher.



Selecione o modelo de teclado como mostra a figura abaixo e clique em OK.



Em Disposições selecionadas, clique em adicionar. Selecione Brasil e clique em OK. Marque para que o Brasil seja Padrão.



:::... Viva o Linux ...:::