Il dock di Ubuntu non è disponibile dopo l'aggiornamento a 18.04

Di recente ho eseguito l'aggiornamento a 18.04, ma durante l'aggiornamento sono stati riscontrati alcuni problemi che hanno comportato l'assenza di dock. La scheda Dock è anche vuota nelle impostazioni. Come posso installare il dock e abilitarlo?

Aggiornare:

ecco come appaiono le mie impostazioni del dock

18.04 ubuntu-dock

— transGLUKator
fonte

È una lunga storia. :) Per lo più Ubuntu è passato da Unity a Gnome. Potresti provare a utilizzare Unity installandolo o potresti abituarti a usare Gnome.

— Metta Crawler,

sarei felice se avessi la scheda Dock vuota - Non ho alcuna scheda Dock ... Sono migrato da 17.10 gdm3 a 18.04.1 LTS

— Hartmut P.

Puoi verificare se Ubuntu Dock è installato eseguendo il seguente comando in Terminale

apt-cache policy gnome-shell-extension-ubuntu-dock | grep Installed

Se l'output è Installed: (none)quindi non è installato ed è possibile installarlo eseguendo

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

Altrimenti c'è la possibilità che tu non sia nella sessione Ubuntu predefinita. Quando avvii il sistema e accedi alla schermata di accesso GDM, dovresti trovare una ruota dentata (⚙️) accanto al pulsante di accesso. Se fai clic sulla ruota dentata dovresti trovare un'opzione Ubuntu (e Ubuntu su Wayland ). Selezionalo e poi accedi.

Come ha sottolineato @Videonauth, puoi anche usare l'estensione "Dash to Dock" (Ubuntu dock è un fork di Dash to Dock) come soluzione alternativa. Puoi installarlo eseguendo

sudo apt install gnome-shell-extension-dashtodock

o da qui . È quindi possibile gestire le estensioni installate utilizzando gnome-tweaks.

— pomsky
fonte

O se lo desidera, potrebbe installarlo gnome-shell-extension-dashtodockcome alternativa che ha più opzioni per personalizzarlo. Tuttavia, in entrambi i modi, potrebbe essere necessario installarlo gnome-tweak-toolper modificarlo.

— Videonauth,