Masquer par programme le dock de bureau Gnome
Comment puis-je activer/désactiver la fonction de masquage automatique du dock par programme?
Pour être plus précis, comment puis-je basculer la fonctionnalité à partir d'un script en ligne de commande ou la basculer avec un raccourci?
En gros, vous pouvez obtenir ce que vous voulez en émettant les commandes suivantes sur un terminal:
Activer le masquage automatique intelligent:
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed false
gsettings set org.gnome.Shell.extensions.dash-to-dock autohide true
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide true
Désactiver le masquage automatique intelligent:
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed true
gsettings set org.gnome.Shell.extensions.dash-to-dock autohide false
gsettings set org.gnome.Shell.extensions.dash-to-dock intellihide false
Pour plus d'informations, consultez cette réponse .