Veamos como controlar nuestro menú lateral del entorno visual de Gnome 3. En mi opinión este proceso debería estar integrado en las opciones de configuración de Gnome 3 y no como una extensión, pues el original es muy poco práctico y con poca configuración.
Esta operación también se puede realizar desde los Centros de Programas, ver
en el artículo referido a la adaptación de CentOS en su parte final.
La forma más sencilla y mejor de hacerlo es instalar dash to dock y gnome-tweak-tool desde el centro de programas o con la orden:
$ sudo apt install gnome-shell-extension-dashtodock gnome-tweak-tool
Reiniciamos el ordenador y ya podemos acceder.
1.- Abrimos la herramienta de retoques y vamos a extensiones gnome-tweak-tool.
2.- En extensiones podemos ver nuestra extensión Dash to Dock
Veamos como se ha dejado la configuración en nuestro caso.
En posición y comportamiento marcamos las siguientes opciones.
En apariencia escogeremos el color de fondo del dash to dock
Ahora vamos a personalizarlo
Escogemos el color preferido
En nuestro caso se ha dejado el menú fijo en la parte izquierda.
El resultado es parecido a la distribución Ubuntu pero con más posibilidades.
Finalmente, otra forma de hacerlo seria:
Accedemos a la siguiente web y descargamos el archivo:
https://github.com/optimisme/gnome-shell-simple-dock
Descargamos el fichero gnome-shell-simple-dock-master.zip
Descomprimimos en la misma carpeta y con un Terminal actuando como nuestro usuario.
$ cd /home/nuestro_usuario/Descaras/gnome-shell-simple-dock
$ chmod 744 install.sh
$ ./install.sh
Y normalmente quedará activado, para ello vamos a tweak tool o retoques, el nombre cambia un poco según la distribución.
También se puede añadir la extensión Dash to dock accediendo desde firefox a la siguiente web:
No sé porque razón, pero siempre acabo volviendo al entorno gráfico Mate
agregando metacity-themes y wine theme entre otros para poder
personalizar mi entorno, con lo que queda muy moderno y extremadamente
liviano. Sin todas la dificultades de personalización de Gnome 3 que
parece más pensado para personas que no deseen personalizar nada, cosa que no nos gusta a los aficionados a Linux, que disfrutamos manipulando posibilidades de los sistemas..
