Acabo de instalar 11.10 y GNOME Tweak Tool pero no puedo instalar gnome-shell-extensions-user-theme debido a que no existe (o algo así apt-get install me dice). Por eso, no se pueden habilitar user-theme-extensions en la configuración avanzada de la herramienta Tweak de GNOME. No puedo encontrar el repositorio para ello en ninguna parte. ¿Qué estoy haciendo mal?
Respuesta aceptada:
Manera geek
Puede instalar temas de usuario y otras extensiones desde PPA, ya que las extensiones no están disponibles en los repositorios oficiales. Ingrese los siguientes comandos para que los temas funcionen.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Ahora reinicie gnome-shell usando Alt+F2 ejecutar el cuadro de diálogo e ingresando r .
Habilite el formulario de extensión gnome-tweak-tool y listo.
Vía alternativa preferida
Esta es, con mucho, la forma más fácil de instalar la extensión "user-themes", así como muchas otras extensiones de shell de GNOME.
- Simplemente abra Firefox (usted NO PUEDE utilizar cualquier otro navegador, a partir de ahora).
- Y visite extensions.gnome.org
- Puede buscar la extensión que está buscando, así como explorar otras excelentes extensiones.
-
¿Encontraste la extensión? Simplemente haga clic en el interruptor para instalarlo.
-
Aah... por cierto, para los temas de usuario, puedes conseguirlo aquí.