In parole povere, un'estensione della shell GNOME (anche Estensione GNOME) è un qualsiasi pezzo di codice che migliora e aggiunge le funzionalità del desktop GNOME. Pensala come un'estensione Google Chrome o componente aggiuntivo per Firefox solo che è per il tuo Ambiente desktop
Estensioni GNOME possono essere utilizzate per modificare quasi ogni aspetto dell'ambiente desktop GNOMEper esempio. personalizzazione del comportamento del mouse; e anche per visualizzare informazioni come il meteo, lo stato della batteria, ecc.
Esiste un numero quasi illimitato di Estensioni di GNOME e il modo più conveniente per gestirle è tramite le popolari GNOME Tweak Tool quindi devi configurarlo se non lo hai già installato sul tuo sistema e puoi installarlo tramite il tuo Software Center o il tuo terminale usando:
$ sudo apt install gnome-tweak-tool
Ci sono 3 modi per usare Estensioni GNOME:
- Installa il pacchetto minimo gratuito di estensioni curato per la tua distribuzione.
- Installazione nel tuo browser web.
- Installazione manuale.
1. Installazione minima gratuita del pacchetto
Questo si riferisce al set minimo di estensioni che diverse distribuzioni Linux di solito impacchettano per i loro utenti e l'ultima volta che ho controllato conteneva 10 estensioni. Installali tramite la CLI usando il seguente comando:
$ sudo apt install gnome-shell-extensions
Una volta completata l'installazione, riavvia la tua macchina, avvia GNOME Tweak Tool , vai a Estensioni e fai clic per abilitare le estensioni che desideri utilizzare.
Abilita le estensioni di Gnome
Se desideri più estensioni rispetto a quelle del pacchetto minimo, continua a leggere.
2. Installazione nel tuo browser web
Il Progetto GNOME ha un sito web dedicato alle sue estensioni Gnome e puoi installare e gestire le estensioni preferite direttamente dal tuo browser senza bisogno da usare Strumento GNOME Tweak.
Estensioni della shell di Gnome
Tuttavia, dovrai avere un componente aggiuntivo specifico per il browser e un connettore host nativo installato nel tuo sistema. Segui uno di questi collegamenti per ottenere l'estensione del browser per Google Chrome, Firefox e/o Opera.
Successivamente, installa il connettore nativo utilizzando il seguente comando:
$ sudo apt install chrome-gnome-shell
Ora puoi aprire il sito Web delle estensioni di GNOME dove puoi cercare, installare e abilitare le tue estensioni preferite.
Puoi anche configurare singole estensioni facendo clic sull'icona a forma di ingranaggio accanto al loro titolo sul sito Web o tramite GNOME Tweak Tool.
3. Installazione manuale
Supponi di essere offline e di dover impostare un Estensione GNOME, come procedi? Installazione manuale. Andate sul sito web per scaricare il file dell'estensione che estraete e spostate nella vostra ~/.local/share/gnome-shell/extensions directory.
Successivamente, apri il file metadata.json al suo interno e controlla il valore di uuid e assicurarsi che sia lo stesso valore del nome della cartella dell'estensione. In caso contrario, rinominare la cartella con il valore di uuid.
Successivamente, riavvia GNOME Shell premendo Alt+F2 e digitando r .
Riavvia GNOME Tweak Tool se era già in esecuzione e dovresti vedere l'estensione appena installata nella sezione estensioni dove puoi gestirla come faresti nei metodi precedentemente elencati.
Disinstallare qualsiasi estensione GNOME è facile come rimuoverli dal sito web di GNOME estensioni installate sezione. E se hai installato le estensioni manualmente, elimina i file dalla tua directory ~/.local/share/gnome-shell/extensions.
Conosci i metodi per installare GNOME Shell Extensions? Dicci qual è il tuo preferito nella sezione commenti qui sotto.