So, I installed Ubuntu (Using Gnome) with keyboard layout US International with Dead Keys enabled. Now I've set this to US International with Alt-Gr Dead Keys enabled. I added the latter and deleted the first. I then clicked "Apply to entire system" and closed the keyboard manager.
Now whenever I reboot, the old keyboard lay-out is re-added to the list and set to the default keyboard layout. The keyboard with US International with Alt-Gr Dead Keys enabled is still in that list so it doesn't completely revert to the installation settings, making me conclude that it must have saved the settings…
How can I make this keyboard ghost go to the eternal /dev/null/ plane so that it will never rise from the grave again? (How to get rid of the thing…)
Best Answer
Apparently setting the keyboard layout you wish to use when logging in solves this problem.
When logging in, as you are about to enter your password in GDM, there is a discreet menu option on the toolbar at the bottom.
Changing the setting here will cause Ubuntu to use the correct keyboard setting not just for that session but for subsequent log ins.