Hier ist eine einmalige Lösung:
sudo sh -c 'dumpkeys |grep -v cr_Console |loadkeys'
Ich habe Tobus Antwort umgestaltet, um nur das absolut Notwendige zu ändern:
sudo sh -c 'dumpkeys -k|grep -v Incr_Console|grep -v Decr_Console|grep -v Last_Console|loadkeys'
NB:Wie gesagt, dies ist ein einmaliger Fix und wird wahrscheinlich nach einem Neustart weg sein.
Ich hatte das Problem manchmal mit Ubuntu 18.04:
sudo kbd_mode -s
Hat den Job gemacht. (zumindest vorübergehend)
Einen ausführlichen Fehlerbericht finden Sie hier auf dem Launchpad .