web-dev-qa-db-fra.com

Comment définir des raccourcis clavier à partir d'un script

Je semble souffrir de ce bogue qui signifie que mes raccourcis clavier personnalisés sont perdus au redémarrage . J'ai 8 raccourcis personnalisés, et redéfinir tous les 8 via le méthode graphique pour définir les raccourcis clavier est fastidieux.

J'utilise 12.10 et Unity. Les raccourcis clavier que je souhaite personnaliser sont

  • "Shift to workspace left" (droite/dessus/dessous) - avec raccourci CtrlAltl (h/k/j)
  • "Déplacer la fenêtre d'un espace de travail vers la gauche" (droite/haut/bas) - avec raccourci ShiftCtrlAltl (h/k/j).

(Au moins, ce sont les noms que je vois dans les boîtes de dialogue de raccourcis clavier.)

Donc, jusqu'à ce que le bogue soit corrigé, j'aimerais pouvoir exécuter un script pour définir les 8 actions après ma connexion. Quels programmes et options de ligne de commande dois-je exécuter pour définir un raccourci clavier?

7
Hamish Downer

Je pense que vous pouvez obtenir cet effet en utilisant un script comme celui-ci (ne concerne que le changement de bureau, mais il peut être étendu en changeant switch-to-workspace* avec move-to-workspace*):

#!/bin/bash
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up "['<Control><Primary><Alt>k']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Control><Primary><Alt>j']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "['<Control><Primary><Alt>h']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "['<Control><Primary><Alt>l']"

REMARQUE: La partie <Primary> du raccourci est peut-être redondante. Essayez par vous-même.

Pour automatiser le processus, vous pouvez également faire exécuter ce script au démarrage à l’aide du programme "Applications de démarrage".

5
Salem