Ubuntu Dock n'est plus disponible après la mise à niveau vers 18.04
J'ai récemment effectué une mise à niveau vers 18.04, mais des problèmes se sont posés lors de la mise à niveau, ce qui a entraîné l'absence de quai. L'onglet Dock est également vide dans les paramètres. Comment puis-je installer et l'activer?
Mettre à jour:
voici à quoi ressemblent mes réglages de dock 
Vous pouvez vérifier si le dock Ubuntu est installé en exécutant la commande suivante dans Terminal
apt-cache policy gnome-Shell-extension-ubuntu-dock | grep Installed
Si le résultat est Installed: (none), il n'est pas installé et vous pouvez l'installer en exécutant
Sudo apt install gnome-Shell-extension-ubuntu-dock
Sinon, il est possible que vous ne soyez pas dans la session Ubuntu par défaut. Lorsque vous démarrez votre système et accédez à l'écran de connexion GDM, vous devez trouver une roue dentée () à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver un Ubuntu (et Ubuntu sur Wayland ) option. Sélectionnez-le puis connectez-vous.
Comme @Videonauth l'a fait remarquer, vous pouvez également utiliser l'extension "Dash to Dock" (le dock Ubuntu est un fork de Dash to Dock) comme solution de contournement. Vous pouvez l'installer en lançant
Sudo apt install gnome-Shell-extension-dashtodock
ou de ici . Vous pouvez ensuite gérer vos extensions installées à l'aide de gnome-tweaks.