Como solução alternativa, pode-se desvincular a chave global F12
(ou qualquer coisa que você tenha) na configuração do guake e vinculá-la à configuração de atalho do teclado nativo do gnome: apenas associe F12
ao comando /usr/bin/guake
. / p>
A edição original que publiquei no gitgub pode ser encontrada aqui: link