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
(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?
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".