Le grand dock sur la gauche. Dans d'autres versions, vous pouviez échapper au lanceur Unity en allant dans GNOME, que faut-il faire maintenant ? GNOME Tweaks ne le montre pas comme une extension, même s'il ressemble beaucoup à Dash to Dock.
Je vois des options de masquage automatique dans les paramètres, mais pas de moyen de le supprimer complètement et d'utiliser le GNOME par défaut.
Édition : Je ne recherche pas un GNOME classique, mais simplement masquer le dock.
Étant donné que Ubuntu Dock est une extension système (nom du package : gnome-shell-extension-ubuntu-dock), il n'est pas possible de simplement la désactiver en utilisant GNOME Tweaks ou depuis le site des Extensions GNOME Shell.
Supprimer ce package en exécutant
sudo apt remove gnome-shell-extension-ubuntu-dockdevrait se débarrasser du dock, mais ce n'est pas recommandé car cela supprimera également le méta-package ubuntu-desktop qui peut causer des problèmes plus tard (voir ceci : Est-il sûr de supprimer le package ubuntu-desktop ?).
Une solution peut être d'utiliser GNOME vanilla (GNOME shell sans les modifications apportées par Ubuntu). Dans GNOME vanilla, Ubuntu Dock est désactivé par défaut.
Vous pouvez installer GNOME vanilla en exécutant
sudo apt install vanilla-gnome-desktopUne fois installé, redémarrez (ou reconnectez-vous). Lorsque vous arrivez à l'écran de connexion de 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" ainsi que Ubuntu et Ubuntu sur Wayland. Sélectionnez l'une des options GNOME plutôt que Ubuntu.
Il peut également être désactivé sans compromettre les fichiers système, ou en supprimant des packages et en cassant les dépendances.
Utilisation de l'ancien gnome-shell-extension-tool:
gnome-shell-extension-tool -e ubuntu-dock@ubuntu.comOu, via le nouveau gnome-extensions:
gnome-extensions disable ubuntu-dock@ubuntu.comEn fin de compte, ces commandes devraient stocker la configuration dans dconf, où dconf dump / affiche quelque chose comme :
...
[org/gnome/shell]
disabled-extensions=['desktop-icons@csoriano', 'ubuntu-dock@ubuntu.com']
enabled-extensions=['system-monitor@paradoxxx.zero.gmail.com']
...
REMARQUE : Si vous souhaitez le supprimer complètement, supprimez le /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com (faites une sauvegarde en cas d'urgence). Ensuite, redémarrez.
Vous pouvez modifier le dock avec dconf-editor. Installez-le en utilisant la commande sudo apt install dconf-tools.
Ouvrez dconf-editor et allez dans org->gnome->shell->extension->dash-to-dock. Vous pouvez apporter quelques modifications telles que masquer le dock, désactiver l'extension du dock, etc. 
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
