J'essaie d'uBuntu 17.10 beta2 pour évaluer la nouvelle expérience de gnome.
Ce que j’ai trouvé étrange, c’est que guake ne fonctionne pas bien: lorsque l’on met l’accent sur la plupart des applications (y compris gnome-terminal
, gnome settings
, OpenOffice, etc.), il intercepte le raccourci global guake, que ce soit le défaut F12 ou quelque chose de plus exotique comme Ctrl+Alt+~. Donc, le guake ne surgit pas. Mais certaines applications (comme Google Chrome) se comportent bien et ne l'interceptent pas.
Cela ressemble à un bogue pour moi, mais je ne sais pas trop à quel logiciel de suivi des problèmes d'application l'envoyer.
Donc, peut-il être corrigé avec une option de configuration exotique, ou s'il s'agit d'un bogue, de quel référentiel dois-je faire un rapport? Le gnome est celui? Ou le guake?
En guise de solution de contournement, vous pouvez dissocier la clé globale F12
(ou ce que vous avez) dans la configuration guake, puis la lier dans la configuration du raccourci clavier du gnome: liez simplement F12
pour le /usr/bin/guake
commander.
Le numéro original que j'ai posté sur le gitgub peut être trouvé ici: https://github.com/Guake/guake/issues/1012