Comment puis-je me débarrasser du dock dans Ubuntu 18?

Le grand quai à gauche. Dans d'autres versions, vous pourriez échapper au lanceur d'unité en allant à gnome, et maintenant? Gnome tweaks ne l'affiche pas comme une extension, même s'il ressemble beaucoup à un tableau de bord à ancrer.

Je vois les options de masquage automatique dans les paramètres, mais aucun moyen de le supprimer complètement et d'utiliser le gnome par défaut.

Edit: je ne cherche pas de gnome vanille, mais simplement pour cacher le dock.

Exécutez ce qui suit:

cd /usr/share/gnome-shell/extensions/
sudo mv [email protected]{,.bak}

Appuyez sur ALT+ F2et saisissez rl'entrée.

Comme Ubuntu Dock est une extension système (nom du package :)gnome-shell-extension-ubuntu-dock , il n'est pas possible de la désactiver simplement à l'aide de GNOME Tweaks ou d' ici .

Suppression de ce package en exécutant

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

devrait se débarrasser du dock, mais ce n'est pas du tout recommandé car il supprimera également le ubuntu-desktopméta-package qui peut casser des choses plus tard (voir ceci ).

On peut dire qu'une solution plus propre consiste à utiliser GNOME vanille (shell GNOME sans modifications apportées par Ubuntu). Dans vanilla GNOME, Ubuntu Dock est désactivé par défaut.

Vous pouvez installer vanilla GNOME en exécutant

sudo apt install vanilla-gnome-desktop

Une fois installé, redémarrez (ou reconnectez-vous). Une fois arrivé à l'écran de connexion GDM, vous devriez trouver une roue dentée (⚙️) à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver des options intitulées " GNOME " et " GNOME sur Wayland " avec Ubuntu et Ubuntu sur Wayland . Sélectionnez l'une des options GNOME au lieu des options Ubuntu .

REMARQUE: Si vous souhaitez le supprimer complètement, supprimez le /usr/share/gnome-shell/extensions/[email protected](effectuez une sauvegarde en cas d'urgence). Redémarrez ensuite.

Si vous souhaitez modifier davantage, utilisez dconf-editor:

Vous pouvez modifier le dock à partir de dconf-editor . Installez-le par sudo apt install dconf-tools.

Ouvrez dconf-editor et goto org->gnome->shell->extension->dash-to-dock. Vous pouvez faire quelques ajustements comme cacher le quai, désactiver l'extension du quai, etc.