Come installare e utilizzare le estensioni di shell gnome in Linux
Quali sono le estensioni del guscio Gnome?
Le estensioni della shell gnome, come suggerisce il nome, estendono la funzionalità di gnome shell desktop. Funzionano in qualche modo simili ai componenti aggiuntivi Chrome e Firefox. Un'estensione di shell è in grado di fare cose banali come nascondere un'icona nel vassoio del sistema e fornire un'app a pieno ribasso basata su gnomi nativi o API di terze parti. Queste estensioni sono state sviluppate da sviluppatori ufficiali di gnome, manutentori di distribuzione e una serie di sviluppatori di terze parti.
Installazione di componenti aggiuntivi per l'integrazione del browser
Per installare un'estensione della shell gnome sul sistema, prima è necessario abilitare un addon browser del connettore nativo consigliato dagli sviluppatori di gnome. Senza questo componente aggiuntivo, non sarai in grado di scaricare e installare estensioni dal repository di estensione ufficiale disponibile online.
Il componente aggiuntivo di integrazione ufficiale per il browser Chrome può essere installato in Ubuntu usando il comando di seguito:
$ sudo apt installa chrome-shell
Puoi anche installare questo componente aggiuntivo da Chrome Web Store se non è disponibile nel repository della distribuzione.
Il componente aggiuntivo per l'integrazione di gnome per Firefox può essere installato da qui.
Dopo aver installato correttamente il componente aggiuntivo, vedrai una nuova icona della zampa di Gnome nel tuo browser quando lo avvii la prossima volta.
Installazione di estensioni dal negozio di estensioni online
Ora che l'integrazione del browser è completata, sei pronto per installare alcune estensioni. Vai al repository di estensioni Shell Gnome disponibile qui per navigare un elenco di estensioni disponibili. Per impostazione predefinita, vengono mostrate estensioni per tutte le versioni di shell gnome. È possibile fare clic sul menu a discesa "Tutte le versioni" per restringere i risultati a una versione specifica di shell.
Per controllare la versione di gnome shell sul sistema, eseguire il comando di seguito:
$ gnome-shell -version
Per installare un'estensione, fare prima clic sul suo nome per andare alla pagina di elenco dettagliata.
Nella pagina Dettagli di estensione, fare clic sul pulsante ON / OFF azionamento per avviare l'installazione.
Fare clic sul pulsante "Installa" quando viene richiesto.
Questo è tutto, l'estensione selezionata è ora installata correttamente sul tuo sistema. Alcune estensioni richiedono di funzionare da una sessione desktop attiva per funzionare. È possibile forzare il ricaricare la shell Gnome premendo il tasto, inserendo la lettera "R" nella casella di input visibile e il tasto di premio. Tuttavia, questo metodo può causare comportamenti, crash e blocchi inaspettati sul sistema. Quindi la soluzione ideale sarebbe quella di chiudere tutte le tue app in esecuzione, logout e re-login.
Aggiornamento, configurazione e rimozione delle estensioni dal negozio di estensioni online
Puoi facilmente gestire le estensioni di shell installate sul tuo sistema dallo stesso negozio online. Vai al collegamento "estensioni installate" nella barra superiore per vedere un elenco di tutte le estensioni installate sul sistema. Da lì, è possibile aggiornare (icona della freccia verso l'alto), configurare (icona della chiave) e rimuovere un'estensione (icona incrociata).
Sincronizzare le estensioni con il tuo account Google
Puoi sincronizzare estensioni di shell installate con il tuo account Google (solo Chrome). Fare clic con il tasto destro sull'icona di estensione del connettore nativo sulla barra superiore di Chrome per accedere alle sue opzioni.
Abilita l'opzione "Sincronizza Elenco estensioni della shell gnome" controllando la casella radio di fronte a essa.
Gestione delle estensioni utilizzando l'app Gnome Tweaks
Per configurare, abilitare e disabilitare le estensioni della shell GNOME sul desktop, è possibile installare l'app Gnome Tweaks eseguendo il comando di seguito:
$ sudo apt Installa gnome-tweaks
Dopo aver installato l'app, avvia l'app "Tweaks" da Application Launcher. Fai clic sulla voce "Extensions" sulla barra laterale sinistra. Da qui, puoi attivare e configurare le estensioni. Questo metodo funziona anche se non si dispone di una connessione Internet attiva e non richiede di utilizzare il Web store online per gestire le estensioni.
Gestione delle estensioni utilizzando un'app nascosta non visibile nel lancio di app
L'esecuzione del comando seguente avverrà un'app nascosta dedicata alla gestione delle estensioni.
$ gnome-shell-estension-prefs
Questo metodo funziona anche se non hai l'installazione dell'app di modifica. Ciò non richiede inoltre una connessione Internet attiva per funzionare.
Installazione di estensioni senza componenti aggiuntivi di integrazione di archivi e browser basati su Web
Finora abbiamo visto che le estensioni possono essere installate e gestite utilizzando il Web Store online e possono essere configurate utilizzando anche le app desktop offline. Tuttavia, è possibile bypassare completamente i componenti aggiuntivi di integrazione del negozio e browser basati su Web online.
È possibile utilizzare l'app store "Ubuntu software" spedito per impostazione predefinita in Ubuntu per installare estensioni di shell gnome. Avvia l'app "Ubuntu Software" dall'applicazione e vai su "componenti aggiuntivi"> "estensioni shell". Tutto quello che devi fare è fare clic sull'elenco di un'estensione per andare alla pagina dei dettagli e installarla da lì. Facendo clic su "Impostazioni di estensione" avrà anche l'app Hidden Extension Management di cui sopra sopra.
Conclusione
L'uso delle estensioni di shell 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 di un'estensione comportamentale che si blocca l'intero desktop. Come qualsiasi altra app di terze parti, dovresti anche variare per l'installazione di qualsiasi estensione casuale, poiché c'è sempre un cambio 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.