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.
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.