Si vous souhaitez remplacer le Dock Ubuntu dans Ubuntu 20.10, 20.04, 19.10 ou 18.04 par un autre dock (tel que Plank Dock) ou Panel et supprimer ou désactiver le Dock Ubuntu, voici ce que vous pouvez faire et comment.
Ubuntu Dock - la barre sur le côté gauche de l'écran qui vous permet d'épingler des applications et d'accéder aux applications installées - inclinez avec Gnome Tweaks désactivé (la désactivation ne fait rien) si vous utilisez la session Ubuntu standard, mais il existe plusieurs façons de pouvez vous en débarrasser si vous en avez besoin. Ci-dessous, je liste 4 façons de supprimer ou de désactiver Ubuntu Dock, ainsi que les inconvénients (le cas échéant) de chaque option et comment annuler les modifications pour chaque option.
Les 4 options sont :supprimer le package Ubuntu Dock, utiliser la session Vanilla Gnome, masquer définitivement Ubuntu Dock sans le supprimer et utiliser l'extension Dash to Panel au lieu d'Ubuntu Dock (l'Ubuntu Dock est automatiquement désactivé).
L'article propose également d'autres moyens d'accéder à la vue d'ensemble des activités / à la liste des applications installées sans Ubuntu Dock.
Comment accéder à l'aperçu des activités sans Ubuntu Dock
Sans Ubuntu Dock, vous n'aurez peut-être aucun moyen d'accéder à la liste des activités / applications installées (accessible à partir d'Ubuntu Dock en cliquant sur le bouton Afficher les applications en bas du Dock). Par exemple, si vous souhaitez utiliser Plank Dock.
Évidemment, ce n'est pas le cas si vous installez l'extension Dash to Panel pour l'utiliser à la place d'Ubuntu Dock, car Dash to Panel a un bouton pour accéder au résumé de l'activité/aux applications installées.
Selon ce que vous souhaitez utiliser à la place d'Ubuntu Dock, si vous ne pouvez pas accéder à la vue d'ensemble des activités, vous pouvez activer le coin chaud de la vue d'ensemble des activités et simplement déplacer votre souris vers le coin supérieur gauche de l'écran pour ouvrir les activités. Une autre façon d'accéder à la liste des applications installées est d'utiliser un raccourci clavier :Super + A .
Si vous souhaitez activer le coin chaud avec l'aperçu des activités, utilisez cette commande :
gsettings set org.gnome.shell enable-hot-corners trueSi vous voulez plus tard annuler cela et désactiver les coins chauds, vous devez utiliser cette commande :
gsettings set org.gnome.shell enable-hot-corners false
Vous pouvez également activer ou désactiver l'option Hot Corner à partir du résumé des activités en utilisant l'application Gnome Tweaks (l'option se trouve dans le Top Bar Section de Gnome Tweaks) qui peut être installé avec cette commande :
sudo apt install gnome-tweaks
Comment supprimer ou désactiver Ubuntu Dock
Vous trouverez ci-dessous 4 façons de se débarrasser d'Ubuntu Dock qui fonctionnent dans Ubuntu 20.10, 20.04, 19.10 et 18.04.
Option 1 :Supprimez le package Gnome Shell Ubuntu Dock.
Le moyen le plus simple de se débarrasser d'Ubuntu Dock est de supprimer le paquet.
Cela supprimera complètement l'extension Ubuntu Dock de votre système, mais cela supprimera également le ubuntu-desktop Méta-paquet. Il n'y a pas de problème immédiat pour supprimer ce ubuntu-desktop meta package car il ne fait rien par lui-même. le ubuntu-meta Le package dépend d'un grand nombre de packages qui composent le bureau Ubuntu. Ses dépendances ne seront pas supprimées et rien ne sera cassé. Le problème est que si vous souhaitez mettre à niveau vers une version plus récente d'Ubuntu, tous les nouveaux ubuntu-desktop Les dépendances ne sont pas installées.
Pour contourner ce problème, installez simplement le ubuntu-desktop meta package avant de passer à une version plus récente d'Ubuntu (par exemple, si vous souhaitez passer d'Ubuntu 18.04 à 20.04).
Si cela vous convient et que vous souhaitez supprimer le pack d'extension Ubuntu Dock de votre système, utilisez la commande suivante :
sudo apt remove gnome-shell-extension-ubuntu-dockSi vous souhaitez ultérieurement annuler les modifications, réinstallez simplement l'extension à l'aide de cette commande :
sudo apt install gnome-shell-extension-ubuntu-dock
Ou installez le ubuntu-desktop meta package (cela installera toutes les dépendances de bureau Ubuntu que vous avez peut-être supprimées, y compris Ubuntu Dock), vous pouvez utiliser cette commande :
sudo apt install ubuntu-desktop
Option 2 :installez et utilisez la session Vanilla Gnome au lieu de la session Ubuntu standard.
Une autre façon de se débarrasser d'Ubuntu Dock consiste à installer et à utiliser la session Vanilla Gnome. L'installation de la session Vanilla Gnome installera également d'autres packages dont cette session dépend, tels que les documents Gnome, les cartes, la musique, les contacts, les photos, les trackers, etc.
L'installation de la session Vanilla Gnome vous donne également le thème d'écran de connexion / verrouillage Gnome GDM par défaut au lieu des valeurs par défaut d'Ubuntu, ainsi que le thème et les icônes Adwaita Gtk. Cependant, vous pouvez facilement modifier la conception de Gtk et des icônes à l'aide de l'application Gnome Tweaks.
De plus, l'extension AppIndicators sera désactivée par défaut (de sorte que les applications qui utilisent la barre AppIndicators n'apparaîtront pas en haut), mais vous pouvez l'activer à l'aide de Gnome Tweaks (sous Extensions, activez l'extension Ubuntu AppIndicators). .
De la même manière, vous pouvez également activer ou désactiver Ubuntu Dock depuis la session Vanilla Gnome, ce qui n'est pas possible si vous utilisez la session Ubuntu (la désactivation d'Ubuntu Dock par Gnome Tweaks lors de l'utilisation de la session Ubuntu ne fait rien).
Si vous ne souhaitez pas installer ces packages supplémentaires requis pour la session Vanilla Gnome, cette option pour supprimer Ubuntu Dock n'est pas pour vous. Découvrez donc les autres options.
Si cela vous convient, voici ce que vous devez faire. Pour installer la session Vanilla Gnome dans Ubuntu, utilisez cette commande :
sudo apt install vanilla-gnome-desktop
Une fois l'installation terminée, redémarrez votre système et sur l'écran de connexion, après avoir cliqué sur votre nom d'utilisateur, cliquez sur l'icône d'engrenage à côté du Sign in Bouton et sélectionnez GNOME Au lieu de Ubuntu , puis continuez à vous connecter :
Si vous souhaitez annuler cette opération et supprimer la session Vanilla Gnome, vous pouvez nettoyer le package Vanilla Gnome, puis supprimer les dépendances installées (deuxième commande) avec les commandes suivantes :
sudo apt purge vanilla-gnome-desktop
sudo apt autoremoveEnsuite, redémarrez et sélectionnez Ubuntu sur l'écran de connexion GDM de la même manière.
Option 3 :Masquez de manière permanente le Dock Ubuntu de votre bureau au lieu de le supprimer.
Si vous préférez masquer en permanence le dock Ubuntu sur votre bureau plutôt que de le désinstaller ou d'utiliser la session gnome vanille, vous pouvez facilement le faire en utilisant l'éditeur dconf. L'inconvénient est qu'Ubuntu Dock utilise toujours certaines ressources système même si vous ne l'utilisez pas sur votre bureau, mais vous pouvez facilement annuler cela sans installer ni supprimer de packages.
Cependant, Ubuntu Dock n'est caché que sur votre bureau. Lorsque vous passez en mode Superposition (Activités), vous verrez Ubuntu Dock et pourrez l'utiliser à partir de là.
Pour masquer le Dock Ubuntu de manière permanente, accédez à l'aide de l'éditeur Dconf /org/gnome/shell/extensions/dash-to-dock et désactivez (mettez à false) les options suivantes :autohide , dock-fixed et intellihide .
Vous pouvez le faire à partir de la ligne de commande si vous le souhaitez en exécutant les commandes suivantes :
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
Si vous changez d'avis et souhaitez annuler cela, vous pouvez soit utiliser l'éditeur Dconf et réactiver Autohide, Dock-fixed et Intellihide (défini sur true) /org/gnome/shell/extensions/dash-to-dock , ou vous pouvez utiliser ces commandes :
gsettings set org.gnome.shell.extensions.dash-to-dock autohide true
gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed true
gsettings set org.gnome.shell.extensions.dash-to-dock intellihide true
Option 4 :utilisez l'extension dash-to-panel.
Dash to Panel est un panneau hautement configurable pour Gnome Shell et un excellent remplacement pour Ubuntu Dock / Dash to Dock (Ubuntu Dock est bifurqué de Dash à Dock). Non seulement il peut remplacer Ubuntu Dock, mais il peut également remplacer le panneau supérieur car il peut afficher le plateau/AppIndicators et le menu horloge/calendrier sur un seul panneau.
L'installation et l'activation de l'extension Dash-to-Panel désactiveront Ubuntu Dock afin que vous n'ayez rien d'autre à faire.
Vous pouvez installer Dash to Panel depuis extensions.gnome.org.
Si vous changez d'avis et que vous souhaitez récupérer le Dock Ubuntu, vous pouvez soit désactiver Dash to Panel avec l'application Gnome Tweaks, soit supprimer complètement Dash to Panel en cliquant sur le bouton X à côté d'ici :https://extensions.gnome.org /local/.