Ajouter un raccourci clavier personnalisé avec gsettings dans Ubuntu
Je peux modifier les associations de touches personnalisées existantes comme ceci:
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "browser"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "/home/kaiyin/workspace/bash_scripts/focusRun.sh chromium-browser"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "<Primary><Shift><Alt>b"
Mais comment puis-je en ajouter un nouveau?
En plus de la définition du nom, de la commande et de la liaison, devez-vous également modifier le tableau custom-keybindings affectant également tous les chemins que vous avez affectés aux combinaisons de clés.
Le chemin dans votre exemple serait / org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0 / et la commande suivante assignerait ce chemin à la commande custom- raccourcis clavier clé:
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"