On 17/07/2019 08:30, Curt wrote:
As you mentioned GDM, it's possible your settings are being overridden by 'gsettings'.To verify that hypothesis: gsettings get org.gnome.desktop.input-sources xkb-options Reset if necessary with: gsettings reset org.gnome.desktop.input-sources xkb-options (All gleaned from the Debian keyboard wiki.)
I wrote a reply to this before, but it got deleted. The culprit was ibus. The fix was: ibus-setup > Advanced > Use system keyboard layout.
Dave
