Los desarrolladores de esta herramienta para personalizar de forma mucho más potente el escritorio proporcionado por GNOME Shell han anunciado la disponibilidad de GNOME Tweak Tool 3.8, que llega con varias mejoras relevantes en diversos apartados. En el anuncio oficial que podemos encontrar en World Of GNOME nos explican las características más destacadas, a saber: Una opción para borrar extensiones: si tenemos extensiones instaladas en el directorio home y no [...]
Enlace a la fuente original: GNOME Tweak Tool 3.8 disponible