En la última versión de Ubuntu, que es Ubuntu 17.10 con el entorno de escritorio predeterminado de GNOME, Ubuntu ha deshabilitado la extensión del tema del usuario en la herramienta de ajuste de gnome. Por eso no puedo cambiar el tema de GNOME. ¿Cómo habilito/instalo la extensión del tema del usuario?
Respuesta1
Hice una instalación nueva de 17.10 y la extensión de shell de Temas de usuario no estaba instalada de forma predeterminada.
Puede instalar la extensión descargándola desdeaquí en el sitio de extensiones de GNOME Shell.
Después de instalar elTemas de usuarioextensión del sitio web, habilítela a través de la herramienta Tweak (si aún no está habilitada) y cierre/vuelva a abrir la herramienta Tweak. Entonces la opción para cambiar el tema del shell debería estar disponible en la primera página.
En mi sistema, no pude instalar extensiones de shell desde el sitio web porque el conector de integración de GNOME Shell no estaba instalado. Puedes instalarlo ejecutando esto en una terminal:
sudo apt install chrome-gnome-shell
Si tiene que instalar el conector, actualice la página de extensión en su navegador antes de intentar instalar la extensión.
Respuesta2
Tenía la misma pregunta.
Básicamente, escribí Tweak en la búsqueda y me llevó al Centro de software de Ubuntu para reinstalarlo.
Listo.