Come installare e utilizzare le estensioni della shell GNOME in Linux

Cosa sono le estensioni della shell GNOME?

Le estensioni di GNOME Shell, come suggerisce il nome, estendono le funzionalità del desktop GNOME Shell. Funzionano in qualche modo in modo simile ai componenti aggiuntivi di Chrome e Firefox. Un'estensione della shell è in grado di fare cose banali come nascondere un'icona nella barra delle applicazioni e fornire un'app completa basata su GNOME nativo o API di terze parti. Queste estensioni sono state sviluppate da sviluppatori ufficiali di GNOME, manutentori della distribuzione e un certo numero di sviluppatori di terze parti.

Installazione dei componenti aggiuntivi per l'integrazione del browser

Per installare un'estensione GNOME Shell sul tuo sistema, devi prima abilitare un componente aggiuntivo del browser del connettore nativo consigliato dagli sviluppatori di GNOME. Senza questo addon, non sarai in grado di scaricare e installare estensioni dal repository di estensioni ufficiale disponibile online.

Il componente aggiuntivo ufficiale di integrazione per il browser Chrome può essere installato in Ubuntu utilizzando il comando seguente:

Puoi anche installare questo componente aggiuntivo da Il negozio online di Chrome se non è disponibile nel repository della tua distribuzione.

Il componente aggiuntivo di integrazione di GNOME Shell per Firefox può essere installato da qui .

Dopo aver installato con successo il componente aggiuntivo, vedrai una nuova icona della zampa di GNOME nel tuo browser quando lo avvierai la prossima volta.

Installazione di estensioni dal negozio di estensioni online

Ora che l'integrazione del browser è stata completata, sei pronto per installare alcune estensioni. Vai al repository delle estensioni della shell GNOME disponibile qui per sfogliare un elenco di estensioni disponibili. Per impostazione predefinita, vengono mostrate le estensioni per tutte le versioni di GNOME Shell. Puoi fare clic sul menu a discesa Tutte le versioni per restringere i risultati a una versione specifica della shell.

Per controllare la versione della shell di GNOME sul tuo sistema, esegui il comando seguente:

Per installare un'estensione, fai prima clic sul suo nome per andare alla pagina dell'elenco dettagliato.

Nella pagina dei dettagli dell'estensione, fare clic sul pulsante di attivazione/disattivazione per avviare l'installazione.

Fare clic sul pulsante Installa quando richiesto.

Ecco fatto, l'estensione selezionata è ora installata con successo sul tuo sistema. Alcune estensioni richiedono la disconnessione da una sessione desktop attiva per funzionare. È possibile forzare la ricarica di GNOME Shell premendo il tasto, inserendo la lettera r nella casella di input visibile e premendo il tasto. Tuttavia, questo metodo può causare comportamenti imprevisti, arresti anomali e blocchi del sistema. Quindi la soluzione ideale sarebbe chiudere tutte le app in esecuzione, disconnettersi e accedere nuovamente.

Aggiornamento, configurazione e rimozione di estensioni dal negozio di estensioni online

Puoi facilmente gestire le estensioni della shell installate sul tuo sistema dal negozio online stesso. Vai al link Estensioni installate nella barra in alto per vedere un elenco di tutte le estensioni installate sul tuo sistema. Da lì, puoi aggiornare (icona freccia verso l'alto), configurare (icona a forma di chiave inglese) e rimuovere un'estensione (icona a forma di croce).

Sincronizzare le estensioni con il tuo account Google

Puoi sincronizzare le estensioni della shell installate con il tuo account Google (solo Chrome). Fare clic con il tasto destro sull'icona dell'estensione del connettore nativo nella barra in alto di Chrome per accedere alle sue opzioni.

Abilita l'opzione Sincronizza l'elenco delle estensioni della shell di GNOME selezionando la casella radio davanti ad essa.

Gestire le estensioni usando l'app Gnome Tweaks

Per configurare, abilitare e disabilitare le estensioni della shell di gnome sul desktop, puoi installare l'app gnome tweaks eseguendo il comando seguente:

Dopo aver installato l'app, avvia l'app Tweaks dal launcher dell'applicazione. Fare clic sulla voce Estensioni nella barra laterale sinistra. Da qui, puoi attivare e configurare le estensioni. Questo metodo funziona anche se non disponi di una connessione Internet attiva e non richiede l'utilizzo del negozio online per gestire le estensioni.

Gestione delle estensioni utilizzando un'app nascosta non visibile in App Launcher

L'esecuzione del comando seguente avvierà un'app nascosta dedicata alla gestione delle estensioni.

Questo metodo funziona anche se non hai installato l'app di modifica. Anche questo non richiede una connessione Internet attiva per funzionare.

Installazione di estensioni senza negozio basato sul Web e componenti aggiuntivi di integrazione del browser

Finora abbiamo visto che le estensioni possono essere installate e gestite utilizzando il web store online e possono essere configurate anche utilizzando app desktop offline. Tuttavia, è possibile ignorare completamente il negozio online basato sul Web e i componenti aggiuntivi di integrazione del browser.

Puoi utilizzare l'app store del software Ubuntu fornito per impostazione predefinita in Ubuntu per installare le estensioni della shell GNOME. Avvia l'app Ubuntu Software dal launcher dell'applicazione e vai su Componenti aggiuntivi> Estensioni shell. Tutto quello che devi fare è fare clic sull'elenco di un'estensione per andare alla sua pagina dei dettagli e installarla da lì. Facendo clic su Impostazioni estensione verrà avviata anche l'app di gestione delle estensioni nascoste menzionata sopra.

Conclusione

L'uso delle estensioni della shell di GNOME è un buon modo per estendere il desktop con funzionalità aggiuntive. Tuttavia, l'installazione di troppe estensioni può rallentare il desktop e c'è sempre il rischio che un'estensione che si comporta in modo anomalo blocchi l'intero desktop. Come qualsiasi altra app di terze parti, dovresti anche essere diverso dall'installazione di qualsiasi estensione casuale, poiché c'è sempre un cambiamento di app dannosa che entra nel tuo sistema. Anche se quasi tutte le estensioni sono open source, dovresti installarle solo da fonti conosciute e affidabili.