Ecco una correzione una tantum:
sudo sh -c 'dumpkeys |grep -v cr_Console |loadkeys'
Ho refactoring la risposta di Tobu per cambiare solo l'assolutamente necessario:
sudo sh -c 'dumpkeys -k|grep -v Incr_Console|grep -v Decr_Console|grep -v Last_Console|loadkeys'
NB:Come detto, questa è una correzione una tantum e probabilmente scomparirà dopo un riavvio.
Ho avuto il problema a volte con Ubuntu 18.04:
sudo kbd_mode -s
Ha fatto il lavoro. (almeno temporaneamente)
Puoi trovare una lunga segnalazione di bug qui sul launchpad .