Um die Hauptmenüleiste eines Gnome-Panels auszublenden, sollte dieser Befehl dies bewirken:
gsettings set org.gnome.gnome-panel.toplevel:/usr/share/glib-2.0/schemas/ auto-hide "yes"
aber ich sehe keine Wirkung nach der Ausführung, der neue Wert ist da, wie angezeigt get, aber das Menü bleibt bestehen, auch nach dem Ab- und erneuten Anmelden. Andere am preferencesSchema vorgenommene Änderungen werden sofort wirksam, aber nicht die an diesem verschiebbaren Schema vorgenommenen Änderungen.
Ich muss diese Änderungen ohne Root-Rechte vornehmen.
Hinweis: Die gleiche Frage wurde an das Askubuntu-Forum gesendet.