Comment masquer le Dock dans GNOME?


25

Je veux masquer complètement le dock en 17.10. Pas seulement en cas de chevauchement, 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 n'est constituée que de fenêtres et de papier peint. Rien d'autre ne sera autorisé à consommer mes précieux pixels


Quelle est l'extension la plus prometteuse qui n'existait même pas?
Videonauth


1
Vous avez des réglages installés? Si oui, vérifiez l'extension ubuntu-dock, elle doit être activée sur IRRC, essayez de la désactiver.
Videonauth

Déjà éteint cette machine. Je vais vérifier le matin.
2017

Envoyez-moi un ping lorsque vous l'avez vérifié avec les résultats.
Videonauth

Réponses:


20

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 mais garder les raccourcis spécifiques au dock disponibles. Pour ce faire, activez l'extension, accédez à ses paramètres et procédez comme suit:

  • Activez l' option Masquage automatique intelligent sous l' onglet Position et taille .
  • Cliquez sur l'icône "Gear" (⚙) à côté de l'interrupteur Marche / Arrêt de l' option Masquage automatique intelligent pour plus de paramètres.
  • Dans la nouvelle fenêtre de dialogue, désactivez les deux options, Masquer automatiquement et Esquiver les fenêtres .
    Dock désactivé
    • La désactivation du masquage automatique gardera le dock caché même si vous essayez de déplacer votre souris vers son emplacement.
    • La désactivation des fenêtres Dodge gardera le dock caché 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 cela le cachera complètement. Il n'apparaîtra donc plus à l'écran à moins qu'au moins l'une des deux options précédentes ne soit à nouveau activée.


Le comportement persiste après la désactivation de l'extension. J'ai buggé l'apparence du dock en modifiant l'opacité de l'arrière-plan (un grand rectangle semi-transparent supplémentaire est apparu), j'ai donc désactivé l'extension pour essayer de réinitialiser les paramètres. Après avoir redémarré sans activer, il est apparu que le tiret par défaut se cache automatiquement comme OP (et moi) le souhaitait.
Ctrl-C

14

Dans Ubuntu 17.10, 18.04, 18.10 et 19.04, vous pouvez désinstaller en gnome-shell-extension-ubuntu-dockutilisant:

sudo apt remove gnome-shell-extension-ubuntu-dock

Cela supprimera le dock Ubuntu.

Vous devrez redémarrer votre session GNOME, vous pouvez le faire en vous déconnectant et en vous reconnectant.


1
C'est en fait l'approche la plus propre à mon humble avis.
binaryanomaly

2
Au lieu de vous déconnecter puis de vous reconnecter, vous pouvez également appuyer sur ALT+F2, taper «r», puis appuyer sur entrée. (cela recharge gnome-shell mais garde les fenêtres ouvertes!)
antoineMoPa

@antoineMoPa, l'approche "press ALT + F2" fonctionne sur une session X11, mais pas dans une session Wayland (et elle ne le sera probablement jamais).
psiphi75

10

Vous pouvez également le faire avec dconf Editor qui est un outil assez utile si vous aimez peaufiner votre bureau.

Donc, dans l'éditeur dconf, allez /org/gnome/shell/extensions/dash-to-docket désactivez simultanément ces trois accessoires:

  • masquage automatique
  • fixe sur quai
  • intellihide

Et vous avez votre dock visible uniquement en mode superposition (le même que pour l'extension recommandée par @Dan).


1
Je vais devoir essayer ça. Savez-vous si je peux conserver les raccourcis de super-clés même avec le dock caché?
2018

1
@pcnate, Je ne sais pas vraiment, mais les raccourcis AFAIK sont généralement liés aux commandes, pas aux éléments de l'interface utilisateur, donc cela devrait très probablement fonctionner.
Roman Bekkiev

Je peux confirmer que les raccourcis de super-touches fonctionnent toujours.
andersoyvind

1
Il est probablement préférable d'utiliser l' gsettingsoutil pour cela: gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false(note: condensé sur une seule ligne car il ne semble pas possible de faire des blocs de code multi-lignes dans les commentaires)
Desty

@Roman Votre réponse conduit au même comportement que Ubuntu Gnome que j'ai aimé. C'est vraiment compliqué, mais j'aime vraiment l'univers Linux des distributions car il est très diversifié et personnalisable; totalement orthogonale à l'approche unique que je considère que la SP suit (mais c'est peut-être une idée fausse de la mienne). Quels que soient vos préférences dans la conception et le comportement de l'interface utilisateur, vous trouverez une distribution Linux qui vous conviendra.
Dohn Joe

2

La meilleure méthode pour le faire dans Ubuntu 18.04 est d'utiliser gsettings. Pourquoi installer des extensions alors qu'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 ajustements que vous souhaitez effectuer avec votre interface utilisateur peuvent être effectués à l'aide de gsettings.
Utilisez man gsettingset explorez davantage.


Cela fait longtemps que je n'ai pas regardé ça, mais je vais le vérifier.
pcnate
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.