Dash to dock, una extensión para nuestro escritorio de Ubuntu 18.04

Este artículo lo voy a dejar colgado por que como a mi, supongo que habrá algunos usuarios a los que les gusta más tener otro aspecto en el panel izquierdo ‘Ubuntu Dock’ de nuestro Ubuntu 18.04. Dash to Dock es una extensión de Gnome que reemplaza el panel izquierdo con el lanzador de aplicaciones Dock de Mac OS. Esta extensión aleja la barra lateral de la visión general a la que estamos acostumbrados, transformándola en un dock para un lanzamiento más fácil de las aplicaciones. Las opciones de colocación lateral e inferior están disponibles, al igual que algunas otras configuraciones posibles.

Dash to Dock es una popular extensión de Gnome de la que se bifurca Ubuntu Dock (el panel izquierdo predeterminado). Con ella podemos obtener un dock en el escritorio de Ubuntu 18.04 que se vea así, o parecido:

Complemento para el navegador

¿Es la primera vez que vas a instalar una extensión Gnome? Si es así necesitarás instalar un complemento para tu navegador web. Según el que utilices, selecciona la que corresponda:

• Instalar complemento para Google Chrome, Chromium, Vivaldi.
• Haz clic en instalar complemento para Firefox.
• Selecciona esta opción para instalar complemento para Opera.

Instalar el conector nativo

Antes de instalar las extensiones de Gnome, tendremos que abrir la terminal (Ctrl+Alt+T) y ejecutar el siguiente comando. Con el instalaremos el conector nativo con el que conseguiremos que los complementos funcionen y se instalen correctamente:

sudo apt install chrome-gnome-shell

Aun que la orden dice chrome, tranquilo todo el mundo, funciona perfectamente aun que el complemento que tengas instalado no sea el de chrome. A continuación, nos dirigiremos a la página de la extensión Dash to Dock en nuestro navegador. Allí veremos en la parte derecha de la pantalla una palanca, que tendremos que activar para instalar y activar la extensión.

El panel izquierdo cambia nada más activar e instalar la extensión.

Opciones de Dash to Dock

Para cambiar la apariencia, solo tendremos que hacer clic con el botón derecho del ratón en el icono «Mostrar aplicaciones». También podremos utilizar Gnome Tweak Tool para ir a la configuración.