Eu encontrei uma solução alternativa para esse problema na página oficial do Guake github-page :
Você tem que ir ao menu Gnome-Applications-menu e clicar no símbolo Keyboard
.
Isso listará todos os Gnome-Keyboard-Shortcuts
padrão.
Se você rolar para baixo, clique no +
na parte inferior da página para adicionar um novo atalho:
Name: Guake
Command: guake -t
Shortcut: F12
No meu caso, não foi necessário reiniciar o computador.
O início do Guake usando essa solução alternativa não é muito suave, mas usável ...
na página de manual do guake:
-t, --toggle-visibility
Toggle the visibility of guake