Ubuntu
gnome-shell package

  1. Bug #1716415
  2. Comment #6

Comment 6 for bug 1716415

Revision history for this message
Joe (joemugen) wrote :

I'm experiencing this problem since months, the only "one time" fix when it occurs I found is :

sudo sh -c 'dumpkeys |grep -v cr_Console |loadkeys'

Until the next reboot...
But it's better than nothing, right?