Bueno, después de hacer un par de búsquedas en Google y descartar algunas falsas soluciones o que por lo menos a mi no me sirvieron, pude dar con la solución para poder personalizar un poco más a mi gusto el GNOME Shell. En realidad no fue cosa del otro mundo. Lo único que deben hacer es instalar la herramienta de retoques cuyo nombre es gnome-tweak-tool. Mediante esta herramienta tendremos acceso a muchas de las opciones de personalización que parecen haber desaparecido.
Para instalar gnome-tweak-tool simplemente debemos abrir un terminal (Ctrl + Alt + T) y escribir:
sudo apt-get install gnome-tweak-tool
Se nos pedirá que escribamos la contraseña de nuestro usuario, presionamos Enter y la instalación empezará. Una vez concluida, ejecutamos el siguiente comando desde el terminal:
gnome-tweak-tool
Al hacerlo se abrirá la ventana de Herramienta de retoques. Al navegar por ella veremos muchas de las opciones a las que no teníamos acceso normalmente desde GNOME Shell.
No hay comentarios:
Publicar un comentario