Para ocultar la barra de menú principal de un panel de Gnome, este comando debería hacerlo:
gsettings set org.gnome.gnome-panel.toplevel:/usr/share/glib-2.0/schemas/ auto-hide "yes"
pero no veo ningún efecto después de ejecutarlo, el nuevo valor está ahí, como se muestra en get, pero el menú permanece, incluso después de cerrar sesión y volver a iniciar sesión. Otros cambios realizados en el preferencesesquema se realizan inmediatamente, pero no los realizados en este esquema reubicable.
Necesito provocar estos cambios sin privilegios de root.
Nota: la misma pregunta se envió al foro de Askubuntu.