Je veux cacher complètement le quai dans 17h10. Pas seulement quand ils se chevauchent mais toujours. J'ai essayé de nombreuses extensions mais rien ne fonctionne et l'extension la plus prometteuse n'existait même pas. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/
Remarque: Mon interface utilisateur est uniquement composée de fenêtres et de papier peint. Rien d'autre ne sera autorisé à consommer mes précieux pixels
Vous pouvez utiliser l'extension suivante pour masquer complètement le Dock: https://extensions.gnome.org/extension/307/dash-to-dock/
Avec cette extension, vous pourrez masquer le dock tout en gardant les raccourcis spécifiques au dock disponibles. Pour ce faire, activez l'extension, allez dans ses paramètres et procédez comme suit:
Comme mentionné précédemment, cela ne désinstallera ni ne désactivera le dock. Mais ça va complètement le cacher. Ainsi, il ne s'affichera à nouveau que si au moins une des deux options précédentes est réactivée.
Dans Ubuntu 17.10, 18.04 et 18.10, vous pouvez désinstaller gnome-Shell-extension-ubuntu-dock
en utilisant:
Sudo apt remove gnome-Shell-extension-ubuntu-dock
Cela supprimera le dock Ubuntu.
Vous devrez redémarrer votre session GNOME. Pour ce faire, vous devez vous déconnecter puis vous reconnecter.
Vous pouvez aussi le faire avec dconf Editor, qui est un outil très utile si vous aimez peaufiner votre bureau.
Ainsi, dans l'éditeur dconf, accédez à /org/gnome/Shell/extensions/dash-to-dock
et désactivez simultanément ces trois accessoires:
Et vous avez votre station d'accueil visible uniquement en mode superposition (identique à l'extension recommandée par @Dan).
La meilleure méthode pour le faire dans Ubuntu 18.04 consiste à utiliser gsettings
name__. Pourquoi installer des extensions quand il existe un moyen propre de le faire?
Utilisez la commande suivante dans le terminal pour masquer automatiquement le dock
gsettings set org.gnome.Shell.extensions.dash-to-dock dock-fixed false
Remarque: la plupart des réglages que vous souhaitez effectuer avec votre interface utilisateur peuvent être effectués à l'aide de gsettings
name__.
Utilisez man gsettings
et explorez davantage.