Cómo ocultar el Dock en Ubuntu

Ubuntu es uno de los sistemas operativos más valorados y utilizados en el mundo de la informática. La distribución de Linux es muy popular entre desarrolladores y usuarios finales por igual, pero a veces la barra de herramientas o Dock puede ser un poco molesta para algunos usuarios. En este artículo, te mostraremos cómo ocultar el Dock en Ubuntu.

📋 Aquí podrás encontrar✍

Pasos para ocultar el Dock
Ejemplos de comandos:
Conclusión
Preguntas frecuentes

Pasos para ocultar el Dock

Verificar si tienes GNOME Tweak Tool

Antes de comenzar, asegúrate de tener instalada la herramienta de configuración de sistema conocida como GNOME Tweak Tool. Si aún no la tienes, puedes instalarla utilizando el siguiente comando en la terminal:

sudo apt install gnome-tweak-tool

Abrir Tweak Tool

Una vez que hayas instalado GNOME Tweak Tool, ejecútalo desde el menú o utilizando el siguiente comando en la terminal:

gnome-tweaks

Navegar a la Configuración de Extensiones

En la barra lateral de Tweak Tool, selecciona la opción "Extensiones". Aquí, encontrarás una lista de extensiones instaladas y disponibles para su uso. Busca la que dice "Ubuntu Dock" y haz clic en el botón de engranaje para acceder a sus opciones.

Desactivar la Ubuntu Dock

Una vez que hayas hecho clic en el botón de engranaje, verás la opción de "Activado" para la Ubuntu Dock. Haz clic en el botón de alternancia para desactivar la barra de herramientas y ocultarla de tu pantalla.

Ejemplos de comandos:

sudo apt install gnome-tweak-tool

gnome-tweaks

Conclusión

Con este sencillo tutorial, puedes ocultar la barra de herramientas o Dock en Ubuntu sin tener que preocuparte por ella. Si prefieres una pantalla completamente limpia, ¡nada te detiene!

Preguntas frecuentes

¿Puedo volver a activar la Ubuntu Dock si la oculté?

¡Por supuesto! Simplemente abre GNOME Tweak Tool, navega a las opciones de extensión, encuentra la opción "Ubuntu Dock" y activa el botón de alternancia.

¿Puedo personalizar los iconos de mi Dock?

Sí puedes. Hay muchas extensiones disponibles para personalizar los iconos del Dock o la barra de herramientas. Puedes encontrar algunas en el sitio web de extensiones de GNOME.

¿Qué otras extensiones de GNOME debería conocer?

Si buscas más opciones para personalizar tu sistema operativo Ubuntu, te recomendamos que conozcas las extensiones "TopIcons Plus", "Dash to Dock" y "User Themes".