Bonjour,
je dois définir un raccourci clavier dans Ubuntu 12.10, j'utilise:
gsettings(dconf)
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/ binding '<Primary><Alt>s'<br>
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/ binding '<Primary><Alt>s'<br>
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/ command 'gnome-terminal'
Mais quand je regarde ce schéma avec des paramètres, je vois juste:
gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings
@as []
Mais quand j'utilise dconf pour voir ce schéma:
dconf list /org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom2/
binding
command
Qu'est-ce que je fais mal?
dconf
etgsettings
? Il existe de nombreuses façons plus simples de créer des raccourcis clavier / raccourcis clavier.Réponses:
Utilisez ces commandes:
la source
Essayez d'abord de créer
custom2
:(Où se
others
trouve un raccourci pour les autres raccourcis clavier déjà définis. Juste pour être sûr de ne pas les supprimer.)Maintenant que c'est hors de portée, configurez votre
custom2
:la source