Para ocultar a barra do menu principal de um painel do Gnome, este comando deve fazê-lo:
gsettings set org.gnome.gnome-panel.toplevel:/usr/share/glib-2.0/schemas/ auto-hide "yes"
mas não vejo nenhum efeito depois de executá-lo, o novo valor está lá, como mostrado por get , mas o menu permanece, mesmo após o login e novamente.
Outras alterações feitas no esquema preferences ocorrem imediatamente, mas não aquelas feitas para este esquema relocável.
Eu preciso provocar essas alterações sem privilégios de root.
Nota: a mesma pergunta foi enviada para o fórum askubuntu.
Tags gnome-panel gnome gsettings