Ho appena installato 11.10 e GNOME Tweak Tool ma non riesco a installare gnome-shell-extensions-user-theme perché non esiste (o almeno così apt-get install mi dice). Per questo motivo, non è possibile abilitare user-theme-extensions nelle impostazioni avanzate per GNOME Tweak Tool. Non riesco a trovare il repository per questo da nessuna parte. Cosa sbaglio?
Risposta accettata:
Modo geniale
Puoi installare temi utente e altre estensioni da PPA, poiché le estensioni non sono disponibili nei repository ufficiali. Inserisci i seguenti comandi per far funzionare i temi.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Ora riavvia gnome-shell usando Alt+F2 e digitando r .
Abilita il modulo di estensione gnome-tweak-tool e il gioco è fatto.
Modalità alternativa preferita
Questo è di gran lunga il modo più semplice per installare l'estensione "temi utente", così come molte altre estensioni della shell di GNOME.
- Apri Firefox (NON PUOI utilizzare qualsiasi altro browser, a partire da ora).
- E visita extensions.gnome.org
- Puoi cercare l'estensione che stai cercando ed esplorare altre fantastiche estensioni.
-
Hai trovato l'estensione? Basta fare clic sull'interruttore per installarlo.
-
Aah….. a proposito, per i temi utente, puoi trovarlo qui.
Nota: GNOME Shell non ha la finestra di dialogo Esegui Alt+F2 abilitata per impostazione predefinita, quindi in tal caso, puoi abilitarla tramite Impostazioni tastiera>Scorciatoie>Sistema.