Ubuntu
gnome-shell package

  1. Bug #1508146
  2. Comment #8

Comment 8 for bug 1508146

Revision history for this message
Yaron Sheffer (yaronf) wrote : Re: alt + left/right arrows switch between tty consoles, cannot disable

That solution does not work for me (Ubuntu Gnome 16.10), in fact dumpkeys still prints the old mappings. Besides, the solution is supposed to be temporary, meaning it does not persist across reboots.