web-dev-qa-db-fra.com

Comment masquer le Dock dans GNOME?

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

22
pcnate

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:

  • Activez l'option intelligente de masquage automatique sous l'onglet Position et taille .
  • Cliquez sur l'icône "Gear" (⚙) à côté du commutateur On/Off de l'option Intelligent autohide pour plus de paramètres.
  • Dans la nouvelle fenêtre de dialogue, désactivez les deux options, , masquage automatique et Dodge Windows .
    Disabled Dock
    • La désactivation autohide gardera le dock masqué même si vous essayez de déplacer votre souris à l’endroit où se trouve le dock.
    • Si vous désactivez Dodge windows , le dock reste masqué même s'il n'est obstrué par aucune fenêtre.

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.

17
Dan

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.

12
psiphi75

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:

  • masquage automatique
  • fixé au quai
  • intellihide

Et vous avez votre station d'accueil visible uniquement en mode superposition (identique à l'extension recommandée par @Dan).

8
Roman Bekkiev

La meilleure méthode pour le faire dans Ubuntu 18.04 consiste à utiliser gsettingsname__. 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 gsettingsname__.
Utilisez man gsettings et explorez davantage.

0
Jithin Pavithran