Breve: Questa è una guida dettagliata che mostra come installare GNOME Shell Extensions manualmente o facilmente tramite un browser.

Mentre discutevo su come installare i temi in Ubuntu 17.10, ho brevemente menzionato l’estensione GNOME Shell. È stato utilizzato per abilitare i temi utente. Oggi, avremo uno sguardo dettagliato alle estensioni GNOME Shell in Ubuntu 18.04 e versioni successive.

Posso usare il termine GNOME Extensions invece di GNOME Shell Extensions ma entrambe hanno lo stesso significato qui.

Cosa sono le estensioni GNOME Shell? Come installare GNOME Shell Extensions? E come gestire e rimuovere le estensioni di GNOME Shell? Spiegherò tutte queste domande, una per una.

Prima di questo, se preferisci il video, ho dimostrato tutto questo sul suo canale FOSS YouTube. Consiglio vivamente di iscriverti ad esso per altri video Linux.

Che cos’è un’estensione GNOME Shell?

Un’estensione GNOME Shell è fondamentalmente un piccolo pezzo di codice che migliora le capacità di GNOME desktop.

Pensalo come un componente aggiuntivo nel tuo browser. Ad esempio, puoi installare un componente aggiuntivo nel tuo browser per disabilitare gli annunci. Questo add-on è sviluppato da uno sviluppatore di terze parti. Anche se il browser web non fornisce per impostazione predefinita, l’installazione di questo add-on migliora la capacità del browser web.

Allo stesso modo, le estensioni di GNOME Shell sono come quei componenti aggiuntivi e plugin di terze parti che è possibile installare su GNOME. Queste estensioni sono create per eseguire attività specifiche come la visualizzazione delle condizioni meteorologiche, la velocità di Internet, ecc. Per lo più, è possibile accedervi nel pannello superiore.

Ci sono anche Estensioni GNOME che non sono visibili sul pannello superiore. Ma modificano ancora il comportamento di GNOME. Ad esempio, il pulsante centrale del mouse può essere utilizzato per chiudere un’applicazione con una tale estensione.

Installazione di GNOME Shell Extensions

Ora che sapete cosa sono GNOME Shell Extensions, vediamo come installarle. Ci sono tre modi per utilizzare le Estensioni GNOME:

1. Utilizzare un set minimo di estensioni da Ubuntu (o Linux in distribuzione)
2. Trovare e installare le estensioni nel browser web
3. Scaricare e installare manualmente le estensioni

Prima di imparare ad usare GNOME Shell Extensions, è necessario installare GNOME Tweak Tool di Ubuntu o qualsiasi distribuzione che si sta utilizzando. Puoi trovarlo nel Centro software. In alternativa, puoi usare questo comando:

sudo apt install gnome-tweaks

A volte, dovresti anche conoscere la versione di GNOME Shell che stai usando. Questo aiuta a determinare se un’estensione è compatibile con il sistema o meno. Puoi usare il comando qui sotto per trovarlo:

gnome-shell --version

Metodo 1: Usa gnome-shell-extensions package

Ubuntu (e diverse altre distribuzioni Linux come Fedora) forniscono un pacchetto con un set minimo di estensioni GNOME. Non devi preoccuparti della compatibilità qui in quanto è testata dalla tua distribuzione Linux.

Se vuoi un gioco da ragazzi, prendi questo pacchetto e avrai 8-10 estensioni GNOME installate.

sudo apt install gnome-shell-extensions

Dovrai riavviare il tuo sistema (o forse solo riavviare GNOME Shell, non lo ricordo a questo punto). Dopo di che, avviare GNOME Tweaks e troverete alcune estensioni installate. Puoi semplicemente attivare il pulsante per iniziare a utilizzare un’estensione installata.

Metodo 2: Installare GNOME Shell extensions da un browser web

GNOME project ha un intero sito web dedicato alle estensioni. Non e ‘ questo. È possibile trovare, installare e gestire le estensioni su questo sito stesso. Non c’è bisogno anche per GNOME Tweaks strumento.

Ma per installare le estensioni di un browser Web, hai bisogno di due cose: un componente aggiuntivo del browser e un connettore host nativo nel tuo sistema.

Passo 1: Installa il componente aggiuntivo del browser

Quando visiti il sito web di GNOME Shell Extensions, vedrai un messaggio come questo:

“Per controllare le estensioni di GNOME Shell utilizzando questo sito devi installare l’integrazione di GNOME Shell che consiste in due parti: estensione del browser e applicazione di messaggistica host nativa.”

Puoi semplicemente fare clic sul link aggiuntivo suggerito dal tuo sito web browser. Puoi installarli anche dal link sottostante:

• Per Google Chrome, Chromium e Vivaldi: Chrome web store.
• Per Firefox: Mozilla Addons.
• Per Opera: Addons Opera

Passo 2: Installare connettore nativo

Basta installare browser add-on non vi aiuterà. Vedrai comunque un errore come:

“Sebbene GNOME Shell integration extension sia in esecuzione, il connettore host nativo non viene rilevato. Consultare la documentazione per istruzioni sull’installazione del connettore”

Questo è perché non hai installato il connettore host di sicurezza. Per farlo, usa questo comando:

sudo apt install chrome-gnome-shell

Non preoccuparti del prefisso ‘chrome’ nel nome del pacchetto. Non ha nulla a che fare con Chrome. Non è necessario installare un pacchetto separato per Firefox o Opera qui.

Punto 3: Installazione delle estensioni di GNOME Shell nel browser web

Una volta completati questi due requisiti, è tutto pronto per il rollback. Ora, quando vai all’estensione GNOME Shell, non vedrai alcun messaggio di errore.

Una buona cosa da fare sarebbe quella di ordinare le estensioni dal tuo GNOME Shell versione. Non è obbligatorio però. Quello che succede qui è che uno sviluppatore crea un’estensione per la presente versione di GNOME. Tra un anno, ci saranno altre due versioni di GNOME. Ma lo sviluppatore non ha avuto il tempo di testare o aggiornare la sua estensione.

Di conseguenza, non saprai se quell’estensione è compatibile con il tuo sistema o meno. È possibile che l’estensione funzioni bene anche nella versione più recente di GNOME Shell, nonostante l’estensione abbia anni. È anche possibile che l’estensione non funzioni nella shell GNOME più recente.

Puoi cercare anche un’estensione. Diciamo che si desidera installare un’estensione meteo. Basta cercare per esso e andare per uno dei risultati di ricerca.

Quando visiti la pagina dell’estensione, vedrai un pulsante di commutazione.

Fai clic su di esso e ti verrà richiesto se vuoi installare questa estensione:

Ovviamente, vai per l’installazione qui. Una volta installato, vedrai che il pulsante di commutazione è ora attivo e c’è un’opzione di impostazione disponibile accanto ad esso. È possibile configurare l’estensione utilizzando l’opzione di impostazione. Puoi anche disabilitare l’estensione da qui.

È anche possibile configurare le impostazioni di un’estensione che hai installato tramite il browser web in GNOME Tweak tool:

È possibile visualizzare tutte le estensioni installate, sul sito delle estensioni installate sezione. È anche possibile eliminare le estensioni che hai installato tramite web browser qui

Uno dei principali vantaggi di utilizzare le Estensioni GNOME sito web è che si può vedere se c’è un aggiornamento disponibile per un’estensione. Non sarà possibile ottenere in GNOME Tweaks o aggiornamento del sistema.

Metodo 3: Installa le estensioni GNOME Shell manualmente (per utenti intermedi o avanzati)

Non è che devi essere sempre online per installare le estensioni GNOME Shell. È possibile scaricare i file e installarlo in un secondo momento, senza bisogno di Internet.

Vai al sito web di GNOME Extensions e scarica l’estensione con l’ultima versione.

Estrai il file scaricato. Copia la cartella in~/.directory locale / share / gnome-shell / extensions. Vai alla tua Home directory e premi Crl + H per mostrare le cartelle nascoste. Situare .cartella locale qui e da lì, puoi trovare il tuo percorso fino alla directory delle estensioni.

Una volta copiati i file nella directory corretta, vai al suo interno e apri i metadati.file json. Cerca il valore di uuid.

Assicurarsi che il nome della cartella dell’estensione sia uguale al valore di uuid nei metadati.file json. In caso contrario, rinominare la directory al valore di questo uuid.

Ci siamo quasi! Ora riavvia GNOME Shell. Premere Alt + F2 e immettere r per riavviare GNOME Shell.

Riavvia anche GNOME Tweaks tool. Si dovrebbe vedere l’estensione GNOME installato manualmente nello strumento Tweak ora. È possibile configurare o abilitare l’estensione appena installata qui.

E questo è tutto ciò che devi sapere sull’installazione delle estensioni di GNOME Shell.

Rimuovi GNOME Shell Extensions

È del tutto comprensibile che tu voglia rimuovere un’estensione GNOME Shell installata.

Se l’hai installato tramite un browser web, puoi andare alla sezione Estensioni installate sul sito Web di GNOME e rimuoverlo da lì (come mostrato in un’immagine precedente).

Se è stato installato manualmente, è possibile rimuoverlo eliminando i file di estensione da ~/.directory locale / share / gnome-shell / extensions.

Suggerimento bonus: Ricevi una notifica degli aggiornamenti di GNOME Shell Extensions

Ormai ti sei reso conto che non c’è modo di sapere se un aggiornamento è disponibile per un’estensione GNOME Shell tranne che per visitare il sito web di GNOME extension.

Fortunatamente per te, c’è un’estensione GNOME Shell che ti avvisa se c’è un aggiornamento disponibile per un’estensione installata. Puoi ottenerlo dal link qui sotto:

Come gestisci le estensioni di GNOME Shell?

Trovo piuttosto strano che non sia possibile aggiornare le estensioni tramite gli aggiornamenti di sistema. È come se le estensioni di GNOME Shell non fossero nemmeno parte del sistema.

Se stai cercando qualche raccomandazione, leggi questo articolo sulle migliori estensioni di GNOME. Allo stesso tempo, condividi la tua esperienza con GNOME Shell extensions. Li usi spesso? Se sì, quali sono i tuoi preferiti?