Gnome 3 : changer les raccourcis clavier systèmes

Modifier les raccourcis clavier en ligne de commandes.

04 avril 2015

Dans Gnome 3, la plupart des raccourcis clavier peuvent être modifiés depuis l'interface graphique "Paramètres > Clavier > Raccourcis". Certains raccourcis systèmes, comme le changement de bureau, ne peuvent être totalement supprimés depuis cette interface. Par exemple, si vous tentez de changer les touches pour le changement de workspace pour remplacer Ctrl + Alt + Down par Super + Down et que vous le faites depuis l'interface graphique, le nouveau raccourci sera fonctionnel mais l'ancien ne sera pas supprimé comme on pourrait s'y attendre.

Les commandes ci-dessous ont été testées sous Fedora 21.

Lister les raccourcis clavier de gnome

gsettings list-recursively org.gnome.desktop.wm.keybindings

# Sortie :
# org.gnome.desktop.wm.keybindings close ['<Alt>F4']
# ...
# org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Super>Down', '<Control><Alt>Down']
# ...

Comme vous pouvez le constater, l'action "switch-to-workspace-down" est liée au deux raccourcis.

Modifier un raccourci clavier en ligne de commandes

# Enlever tous les raccourcis pour cette action
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['']"

# Mettre en place un raccourci
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Super>Down']"

A bientôt !

Par
Créateur et administrateur.

Dans la même catégorie

Git : annuler le dernier commit sans perdre ses modifications
SSHFS : monter un système de fichier avec SSH
Linux : débloquer une interface graphique gelée
Bash : sortir automatiquement du script si une variable n'est pas initialisée
Bash : sortir automatiquement du script si une commande échoue
GIT : merger 2 commits
Nginx : mettre un serveur par défaut
GIT : Afficher la branche courante dans le prompt
Couper une vidéo ou une musique sous linux
Debian / Ubuntu : installer HTTPS pour APT
Filtrer les lignes affichées par la commande tail
Apache 2 : Créer des sous-domaines dynamiques
Transférer des fichiers sur un smartphone android sans câble USB
Comment connaitre la taille d'un dossier sous linux ?
Surveiller la sortie d'une commande avec watch
Comment lancer ou arrêter un script au démarrage de Linux ?
Comment connaître la version de mon OS Linux ?
Comment afficher le cache ARP sous Linux ?
GIT : les commandes indispensables
Comment trouver mon adresse IP publique ?
Linux : Comment configurer une adresse IP fixe ?
Comment supprimer les fichiers plus vieux qu'une date donnée en bash ?
Apache 2 : Comment changer le DocumentRoot en fonction du port ?
GIT : Comment ajouter les nouveaux fichiers automatiquement ?
Comment exécuter un script local sur une machine distante avec SSH ?
32 bits ou 64 bits ?
Ecrire dans le sudoers grâce à visudo

Commentaire(s)