Ubuntu Dock no está disponible después de la actualización a 18.04

Recientemente me actualicé a 18.04, pero tuve algunos problemas durante la actualización que resultaron en la ausencia de dock. La pestaña Dock también está vacía en la configuración. ¿Cómo puedo instalar dock y habilitarlo?

Actualizar:

así es como se ve la configuración de mi muelle

18.04 ubuntu-dock

— transGLUKator
fuente

Es una larga historia. :) Principalmente Ubuntu cambió de Unity a Gnome. Podría intentar usar Unity instalándolo o podría acostumbrarse a usar Gnome.

— Metta Crawler

estaría contento si tuviera la pestaña Dock vacía: no tengo la pestaña Dock en absoluto ... Migré de 17.10 gdm3 a 18.04.1 LTS

— Hartmut P.

Puede verificar si el dock de Ubuntu está instalado ejecutando el siguiente comando en la Terminal

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

Si el resultado es Installed: (none)entonces no está instalado y puede instalarlo ejecutando

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

De lo contrario, existe la posibilidad de que no esté en la sesión predeterminada de Ubuntu. Cuando inicie su sistema y acceda a la pantalla de inicio de sesión de GDM, debería encontrar una rueda dentada (⚙️) junto al botón de inicio de sesión. Si hace clic en la rueda dentada, debería encontrar una opción de Ubuntu (y Ubuntu en Wayland ). Selecciónelo y luego inicie sesión.

Como señaló @Videonauth, también puede usar la extensión "Dash to Dock" (Ubuntu Dock es una bifurcación de Dash to Dock) como solución alternativa. Puedes instalarlo ejecutando

sudo apt install gnome-shell-extension-dashtodock

o desde aquí . Luego puede administrar sus extensiones instaladas usando gnome-tweaks.

— pomsky
fuente

O si lo desea, podría instalarlo gnome-shell-extension-dashtodockcomo una alternativa que tiene más opciones para personalizarlo. Sin embargo, en ambos sentidos, podría necesitar instalar gnome-tweak-toolpara cambiarlo.

— Videonauth