Est-il possible d'ajouter un raccourci personnalisé contenant la super clé?
Par exemple, j'ajoute "gnome-terminal" comme raccourci personnalisé et souhaite appliquer "Super + t". Ceci est également montré, mais ne fonctionne pas. (voir bugzilla GNOME )
J'ai lu qu'il fallait remplacer "Super" par "Mod4" mais je n'ai pas trouvé l'emplacement de ce paramètre dans dconf.
Des idées?
Réponses:
J'ai eu ce même problème après la mise à niveau. Le chemin d'accès dconf est org/gnome/settings-daemon/plugins/media-keys. Les raccourcis prédéfinis y habitent. Les raccourcis personnalisés habitent plus bas sous custom-keybindings/custom0(ou custom1, et ainsi de suite).
Changement <Super>de <Mod4>mes raccourcis résolu le problème.
Ce rapport de bogue gnome-shell décrit le problème avec les raccourcis Super + Key, et détaille une solution de contournement de hacky (qui résout complètement le problème pour moi!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
En gros, le problème est que les raccourcis personnalisés sont gérés par le démon gnome-settings-daemon, qui ne récupère pas correctement la clé Super. Le gestionnaire de fenêtres (dans ce cas, murmure) peut voir la touche Super. Olivier Crete a donc écrit une extension qui lit vos définitions de raccourci personnalisées et les transmet à marmonner. J'ai installé l'extension et cela fonctionne très bien pour moi. Il n’est pas nécessaire d’appuyer sur une double touche, comme certains des commentateurs précédents en ont parlé.
L'extension ne se trouve pas sur le site officiel des extensions gnome car elle a été rejetée (vous pouvez lire les critiques hilarantes ici: https://extensions.gnome.org/review/1658 ... apparemment, les critiques ont des problèmes de compréhension en lecture! ). Cependant, vous pouvez télécharger l'extension via le commentaire 33 dans le rapport de bogue.
Décompressez le fichier dans votre répertoire ~ / .local / share / gnome-shell / extensions, redémarrez gnome-shell (Alt + F2, r), lancez Gnome Tweak Tool et activez l'extension. Vous devriez alors être prêt à partir.
EDIT: Une dernière chose. Si vous avez plus de 6 raccourcis personnalisés et activez cette extension, le shell gnome explose. L'extension code prend en charge 10 raccourcis, mais compile uniquement 6. Pour ajouter un support pour un nombre arbitraire de raccourcis, dans le répertoire schemas, éditez le fichier org.gnome.shell.extensions.command-keybindings.gschema.xml. copier / coller plus d'entités de liaison (il devrait être évident de savoir comment faire cela - assurez-vous simplement d'incrémenter la liaison- #). Ensuite, dans le répertoire schémas, exécutez "glib-compile-schemas". Enfin, dans le fichier extension.js, recherchez la ligne "for (let i = 0; i <10; i ++)" et remplacez 10 par le nombre total de liaisons que vous définissez. Vous devriez maintenant avoir un support pour beaucoup plus de raccourcis personnalisés. Phew! Personne n'a dit que Gnome 3 était facile! Oh, attendez...
J'ai eu le même problème sous Debian Wheezy et changé "Super" en "Mod4" sous dconf. Les vieux raccourcis reviennent, mais il est quand même assez ennuyeux d'appuyer deux fois sur les touches du personnage.
Merci quand même! J'espère qu'ils vont le réparer bientôt ...