Hallo Rhaban,
wenn Du schon Gnome benutzt, hast/kennst Du vielleicht das Hilfsprogramm Gnome-Tweaks? Wenn nicht kannst Du es einfach nachinstallieren.
Hier gibt es den Bereich "Tastatur und Maus". Unter "Zusätzliche Belegungsoptionen" sind sehr viele Tastenbelegungen einstellbar.
Grüße
schollsky