Comment masquer automatiquement le dock Ubuntu à l'aide de gsettings sur Ubuntu 17.10 et versions ultérieures?
Dans Ubuntu 17.04 avec Unity, je pouvais masquer automatiquement le lanceur à l’aide de cette commande:
dconf write "/org/compiz/profiles/unity/plugins/unityshell/launcher-hide-mode" 1
Mais cela ne fonctionne pas dans Ubuntu 17.10 avec GNOME 3. Maintenant, le "lanceur" est également devenu le "dock".
Remarque: je peux le faire à partir du menu Paramètres: Paramètres-> Dock et cliquez sur le bouton bascule pour "Masquer automatiquement le Dock" sur "Activé", c'est bien, mais je suis intéressant dans une solution de script utilisant, par exemple, gsettings, de sorte que cette fonctionnalité peut être activée automatiquement lorsque j'installe une nouvelle machine Ubuntu.
Ouvrir le terminal et courir
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed false
Puis courir
gsettings set org.gnome.Shell.extensions.dash-to-dock autohide true
Aussi, vous pouvez activer/désactiver "intellihide" (dock dodges windows) par
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide true/false
et définir le mode intellihide par
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide-mode 'OPTION'
Pour obtenir les options disponibles en mode intellihide, exécutez
gsettings range org.gnome.Shell.extensions.dash-to-dock intellihide-mode