J'ai récemment mis à niveau vers 18.04, mais j'ai eu quelques problèmes lors de la mise à niveau qui ont entraîné l'absence de quai. L'onglet Dock est également vide dans les paramètres. Comment puis-je installer le dock et l'activer?
Mise à jour:
J'ai récemment mis à niveau vers 18.04, mais j'ai eu quelques problèmes lors de la mise à niveau qui ont entraîné l'absence de quai. L'onglet Dock est également vide dans les paramètres. Comment puis-je installer le dock et l'activer?
Mise à jour:
Réponses:
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 la sortie est Installed: (none)
alors elle n'est pas installée 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 devriez trouver une roue dentée (⚙️) à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver une option Ubuntu (et Ubuntu sur Wayland ). Sélectionnez-le puis connectez-vous.
Comme l'a souligné @Videonauth, 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 exécutant
sudo apt install gnome-shell-extension-dashtodock
ou d' ici . Vous pouvez ensuite gérer vos extensions installées à l'aide de gnome-tweaks
.
gnome-shell-extension-dashtodock
comme alternative qui a plus d'options pour le personnaliser. Néanmoins, dans les deux cas, il pourrait avoir besoin d'installer gnome-tweak-tool
pour le changer.