1) Ouvrir un terminal
2) Editer le fichier /usr/share/X11/xkb/symbols/pc avec l'utilisateur root avec l'éditeur de votre choix :vi , nano , xed (mint), etc…
exemple avec xed: sudo xed /usr/share/X11/xkb/symbols/pc
modifier les 4 lignes
anciennes ⇒ nouvelles
key <LCTL> { [ Control_L ] }; ⇒ key <LCTL> { [ Super_L ] };
key <LWIN> { [ Super_L ] }; ⇒ key <LWIN> { [ Control_L ] };
key <RCTL> { [ Control_R ] }; ⇒ key <RCTL> { [ Super_R ] };
key <RWIN> { [ Super_R ] }; ⇒ key <RWIN> { [ Control_R ] };
puis quiter/sauvegarder
3) Toujours dans le terminal tapez : sudo rm -rf /var/lib/xkb/*
4) Déconnexion/reconnexion pour que les modifications soit prises en compte