Come installare estensioni Gnome 3 sulla top 10 di Ubuntu.Top 10 LTS
In questo articolo, ti mostrerò come installare estensioni Gnome 3 su Ubuntu 18.04 LTS. Iniziamo.
Installazione Strumento di modifica GNOME:
Strumento di modifica GNOME viene utilizzato per configurare e gestire l'ambiente desktop Gnome 3. Può anche essere utilizzato per installare e configurare le estensioni installate sull'ambiente desktop GNOME 3.
Strumento di modifica GNOME non è installato per impostazione predefinita su Ubuntu 18.04 LTS. Ma è disponibile nel repository di pacchetti ufficiali di Ubuntu 18.04 LTS. Puoi installarlo molto facilmente dal Centro software Ubuntu o dal terminale.
Preferisco installarlo dal terminale, COME Centro software Ubuntu Nella mia macchina virtuale è un po 'laggina.
Prima aggiornamento il Apt PACCHE PACKE REPOSIORY Cache con il seguente comando:
$ sudo apt update
IL Apt La cache del repository dei pacchetti deve essere aggiornata.
Ora esegui il seguente comando da installare Strumento di modifica GNOME:
$ sudo apt Installa gnome-tweaks
Strumento di modifica GNOME dovrebbe essere installato.
Ora puoi andare per il Menu dell'applicazione e trova Strumento di modifica GNOME lì come puoi vedere nella sezione marcata dello screenshot seguente. Clicca sul Ritocchi icona.
Strumento di modifica GNOME dovrebbe iniziare. Ti mostrerò come configurare le estensioni Strumento di modifica GNOME In una sezione successiva di questo articolo.
Installazione di componenti aggiuntivi Firefox di integrazione shell gnome:
Di solito si installano estensioni GNOME 3 dal sito Web ufficiale di Gnome 3 su https: // estensioni.gnoma.org
Una volta visitato il sito Web di Gnome Extensions, dovresti vedere la pagina seguente. Ora fai clic sul collegamento contrassegnato per installare Integrazione del guscio di gnome Componenti aggiuntivi sul tuo browser.
Ora fai clic su Permettere.
Ora fai clic su Aggiungere.
Integrazione del guscio di gnome I componenti aggiuntivi dovrebbero essere installati. Ora fai clic su OK.
Se aggiorni la pagina ora, potresti vedere il seguente errore. Significa che dobbiamo installare connettore host nativo per il Integrazione del guscio di gnome lavorare.
Ora esegui il seguente comando da installare connettore host nativo su Ubuntu 18.04 LTS:
$ sudo apt installa chrome-shell
Dovrebbe essere installato.
Ora aggiorna la pagina delle estensioni di gnome e non dovresti vedere più errori.
Installazione di estensioni GNOME utilizzando il gestore dei pacchetti:
Alcune delle importanti estensioni di Gnome sono disponibili nel repository di pacchetti ufficiali di Ubuntu 18.04 LTS.
Puoi vedere un elenco di tutte le estensioni Gnome disponibili nel repository di pacchetti ufficiali di Ubuntu con il seguente comando:
$ sudo APT Search Gnome-Shell-estension
Sono elencati tutti i pacchetti di estensioni shell gnome. I testi verdi sono il nome del pacchetto che usi per installare Apt Gestore dei pacchetti.
Puoi anche digitare il seguente comando e premere Per vedere tutti i pacchetti di estensione Gnome che puoi installare.
$ sudo apt installare gnome-shell-estension
Installamoci gnome-shell-estension-dash-to-panel pacchetto, che è il DASH SUL PANNELLO estensione:
$ sudo apt installare gnome-shell-estension-dash-to-panel
L'estensione dovrebbe essere installata.
Ora da Strumento di modifica GNOME, vai a Estensioni scheda e dovresti essere in grado di trovarlo. Come puoi vedere, l'ho già abilitato utilizzando il pulsante di levetta alla fine come verde contrassegnato nello screenshot seguente.
NOTA: A volte è necessario riavviare il computer per le modifiche per avere effetto.
Alcune estensioni possono essere configurate. L'estensione che hai installato può essere configurata, dovrebbe avere un'icona di ingrana.
IL DASH SUL PANNELLO L'estensione può essere configurata. Come puoi vedere, una volta che ho fatto clic sull'icona del cambio, vengono visualizzate altre opzioni per configurare l'estensione.
Bellissimo DASH SUL PANNELLO estensione:
Installazione di estensioni dal sito Web di estensioni GNOME:
È inoltre possibile installare nuove estensioni dal sito Web ufficiale di estensioni GNOME.
Per prima cosa scopri la tua versione di gnome shell con il seguente comando:
$ gnome-shell -version
Come puoi vedere, sto correndo Gnome Shell 3.28.1
Ora trova l'estensione che si desidera installare da https: // estensioni.gnoma.org
Quindi vai alla pagina delle estensioni e dovresti vedere la finestra seguente.
Ora seleziona la tua versione di shell gnome. Nel mio caso è 3.28.
Ora per installare l'estensione, fare clic sul pulsante a disattivazione contrassegnata.
Ora fai clic su Installare.
La maggior parte dei casi, l'estensione dovrebbe essere installata e attivata. A volte potresti vedere errori come segue. Non impazzire. Significa che è necessario installare alcuni altri pacchetti per far funzionare l'estensione. Basta installare il pacchetto che ti dice.
Nel mio caso, ho dovuto eseguire il seguente comando:
$ sudo apt install -y girl1.2-GTOP-2.0 GIR1.2-NetworkManager-1.0 libgtop-2.0-11
Le dipendenze dovrebbero essere installate.
Ora riavvia il tuo computer e prova a installarlo di nuovo. Dovrebbe funzionare.
Puoi anche gestire l'estensione da Strumento di modifica GNOME.
Conclusione:
È possibile installare estensioni GNOME dal sito Web ufficiale delle estensioni GNOME e dal repository di pacchetti ufficiali di Ubuntu 18.04 LTS. Ma la domanda è: quale è migliore? Ti suggerisco di cercare l'estensione che desideri installare nel repository di pacchetto ufficiale di Ubuntu 18.04 LTS prima. Se trovi l'estensione che stai cercando lì, quindi installalo utilizzando Apt Gestore dei pacchetti. Se non riesci a trovarlo lì, prova il sito Web di Gnome Extensions.
Se si installano estensioni dal sito Web ufficiale utilizzando il gestore dei pacchetti APT, le dipendenze di tale estensione verranno installate automaticamente. Non dovrai fare nulla manualmente. Inoltre, sarai sicuro che funzionerà sul tuo Ubuntu 18.04 LTS Sistema operativo.
Ti consiglio di provare sempre a installare estensioni Gnome dal repository di pacchetti ufficiali di Ubuntu 18.04 LTS.