Come utilizzare le estensioni della shell GNOME

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

Durante la discussione su come installare temi in Ubuntu 17.10, ho brevemente menzionato GNOME Shell Extension. È stato utilizzato per abilitare i temi dell'utente. Oggi avremo uno sguardo approfondito su GNOME Shell Extensions in Ubuntu 17.10.

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

Quali sono le estensioni della shell GNOME? Come installare GNOME Shell Extensions? E come gestire e rimuovere GNOME Shell Extensions? Ti spiegherò tutte queste domande, una per una.

Prima di questo, se preferisci il video, ho dimostrato tutto questo sul canale YouTube di FOSS. Ti consiglio vivamente di iscriverti ad altri video di Linux.

Che cos'è un'estensione shell GNOME?

Un'estensione shell GNOME è fondamentalmente una piccola porzione di codice che migliora la capacità del desktop GNOME.

Pensalo come un componente aggiuntivo nel tuo browser. Ad esempio, è possibile installare un componente aggiuntivo nel browser per disabilitare gli annunci. Questo componente aggiuntivo è sviluppato da uno sviluppatore di terze parti. Sebbene il tuo browser non lo fornisca di default, l'installazione di questo componente aggiuntivo migliora la capacità del tuo browser web.

Allo stesso modo, GNOME Shell Extensions è come quei componenti aggiuntivi e plug-in di terze parti che puoi 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.

Estensione shell GNOME per visualizzare le informazioni meteorologiche

Ci sono anche le estensioni di GNOME che non sono visibili nel 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 di tali estensioni.

Installazione di GNOME Shell Extensions

Ora che sai quali sono le estensioni della shell di GNOME, vediamo come installarle. Esistono tre modi per utilizzare le estensioni di GNOME:

  • Usa un set minimo di estensioni da Ubuntu (o dalla tua distribuzione Linux)
  • Trova e installa le estensioni nel tuo browser web
  • Scarica e installa manualmente le estensioni

Prima di imparare a usare le estensioni della shell di GNOME, dovresti installare GNOME Tweak Tool. Puoi trovarlo nel Software Center. In alternativa, puoi usare questo comando:

sudo apt install gnome-tweak-tool 

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

 gnome-shell --version 

1. Usa il pacchetto gnome-shell-extensions [modo più semplice e sicuro]

Ubuntu (e molte 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 installato 8-10 estensioni GNOME.

 sudo apt install gnome-shell-extensions 

Dovrai riavviare il sistema (o forse riavviare semplicemente GNOME Shell, non lo ricordo a questo punto). Dopodiché, avvia GNOME Tweaks e troverai alcune estensioni installate. Puoi semplicemente attivare il pulsante per iniziare a utilizzare un'estensione installata.

GNOME Shell Extensions nello strumento GNOME Tweaks

2. Installa le estensioni della shell GNOME da un browser web

Il progetto GNOME ha un intero sito web dedicato alle estensioni. Non è quello. Puoi trovare, installare e gestire le tue estensioni su questo stesso sito web. Non è necessario nemmeno per lo strumento GNOME Tweaks.

Sito web GNOME Shell Extensions

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

Passaggio 1: Installa il componente aggiuntivo del browser

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

"Per controllare le estensioni della shell GNOME utilizzando questo sito è necessario installare l'integrazione di GNOME Shell che consiste in due parti: l'estensione del browser e l'applicazione di messaggistica host nativa."

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

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

Passaggio 2: installare il connettore nativo

L'installazione del componente aggiuntivo del browser non ti aiuterà. Vedrai ancora un errore come:

"Sebbene l'estensione di integrazione della shell GNOME sia in esecuzione, il connettore host nativo non viene rilevato. Consultare la documentazione per le istruzioni sull'installazione del connettore "

Questo perché non hai ancora installato il connettore host. 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.

Passaggio 3: installazione delle estensioni della shell GNOME nel browser web

Una volta che hai completato questi due requisiti, sei pronto per il lancio. Ora quando vai a GNOME Shell Extension, non vedrai alcun messaggio di errore.

È una buona idea ordinare le estensioni per la versione corrente di GNOME

Una buona cosa da fare sarebbe quella di ordinare le estensioni con la tua versione GNOME Shell. Non è obbligatorio però. Quello che succede qui è che uno sviluppatore crea un'estensione per la versione attuale 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 propria estensione.

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

Puoi anche cercare un'estensione. Diciamo che vuoi installare un'estensione meteo. Basta cercarlo e andare per uno dei risultati di ricerca.

Quando visiti la pagina di estensione, vedrai un pulsante di attivazione / disattivazione.

Attiva o disattiva il pulsante per abilitare o disabilitare le estensioni della shell di GNOME

Fare clic su di esso e verrà richiesto se si desidera installare questa estensione:

Ovviamente, vai per l'installazione qui. Una volta installato, vedrai che il pulsante di attivazione è 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.

Le estensioni possono essere configurate tramite browser

È inoltre possibile configurare le impostazioni di un'estensione installata tramite il browser Web nello strumento GNOME Tweaks:

Le estensioni installate saranno sempre accessibili in Tweaks

Puoi vedere tutte le estensioni installate sul sito web nella sezione delle estensioni installate. Puoi anche eliminare le estensioni che hai installato tramite il browser web qui

Gestisci le tue estensioni della shell GNOME installate

Uno dei principali vantaggi dell'utilizzo del sito web di GNOME Extensions è che è possibile vedere se è disponibile un aggiornamento per un'estensione. Non lo otterrai in GNOME Tweaks o aggiornamento del sistema.

3. Installare manualmente le estensioni della shell GNOME

Non è che devi essere sempre online per installare le estensioni GNOME Shell. Puoi scaricare i file e installarli in seguito, senza bisogno di internet.

Vai al sito web di GNOME Extensions e scarica l'estensione con la versione più recente.

Scarica GNOME Shell Extension

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

Una volta che i file sono stati copiati nella directory corretta, vai dentro e apri il file metadata.json. Cerca il valore di uuid.

Assicurati che il nome della cartella dell'estensione sia uguale al valore di uuid nel file metadata.json. In caso contrario, rinominare la directory sul valore di questo uuid.

Il nome della cartella di estensione dovrebbe essere lo stesso di uuid

Quasi lì! Ora riavvia GNOME Shell. Premi Alt + F2 e premi r per riavviare GNOME Shell.

Riavvia la shell di GNOME

Riavvia anche lo strumento Tweaks di GNOME. Dovresti vedere l'estensione GNOME installata manualmente nello strumento Tweak ora. Qui puoi configurare o abilitare l'estensione appena installata.

E questo è tutto ciò che devi sapere sull'installazione di GNOME Shell Extensions.

Rimuovere le estensioni della shell GNOME

È del tutto comprensibile che potresti voler rimuovere un'estensione della shell GNOME installata.

Se l'hai installato tramite un browser web, puoi andare alla sezione delle estensioni installate sul sito web di GNOME e rimuoverla da lì (come mostrato in una foto precedente).

Se l'hai installato manualmente, puoi rimuoverlo cancellando i file di estensione dalla directory ~ / .local / share / gnome-shell / extensions.

Bonus Suggerimento: ricevi notifiche sugli aggiornamenti di GNOME Shell Extensions

Ormai hai capito che non c'è modo di sapere se è disponibile un aggiornamento per un'estensione della shell GNOME, tranne che per visitare il sito web dell'estensione GNOME.

Fortunatamente per te c'è un'estensione della shell GNOME che ti avvisa se è disponibile un aggiornamento per un'estensione installata. Puoi ottenerlo dal link sottostante:

Estensione Notifica degli aggiornamenti

Come gestite GNOME Shell Extensions?

Trovo piuttosto strano che non è possibile aggiornare le estensioni tramite gli aggiornamenti di sistema. È come se le estensioni della shell GNOME non facessero parte del sistema.

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

Raccomandato

Come guardare le distribuzioni basate su Linux su Hulu On Arch
2019
Xenlism WildFire: Minimal Icon Theme per desktop Linux
2019
Midori: un browser Web open source leggero
2019