Ceci est une ancienne révision du document !
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
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 : sudo rm -rf /var/lib/xkb/*
4) Déconnexion/reconnexion pour que les modifications soit prises en compte