Você deve conseguir fazer isso nas configurações do teclado:
O Gnome 3.10 - deve ser o mesmo para a maioria das versões do Gnome 3
O Gconf está obsoleto - você deve usar o dconf - que pode ser feito simplesmente usando dconf-editor
.
Você precisa procurar:
org.gnome.desktop.wm.keybindings panel-main-menu
Deve estar neste formato - pode causar problemas de outra forma:
['<Super>s', '<Alt>F1']
Você pode obter o valor atual usando:
gsettings get org.gnome.desktop.wm.keybindings panel-main-menu
E você pode definir o valor atual usando:
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu 'VALUE'
Nesse caso, 'VALUE'
seria igual a "['<Alt>space', '<Alt>F1']"
:
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu "'<Alt>space', '<Alt>F1'"
Você pode redefini-lo usando:
gsettings reset org.gnome.desktop.wm.keybindings panel-main-menu
Como você pode ver, você também pode usar gsettings
para alterar as coisas - para uma página de manual executada:
man gsettings
Mas faz o mesmo que o diálogo de configurações do teclado.