Para ocultar a barra de menu principal de um painel do Gnome, este comando deve ser:
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á, conforme mostrado por get, mas o menu permanece, mesmo após o login e login novamente. Outras alterações feitas no preferencesesquema ocorrem imediatamente, mas não aquelas feitas nesse esquema relocável.
Preciso provocar essas mudanças sem privilégios de root.
Nota: a mesma pergunta foi enviada ao fórum askubuntu.