A partire da Ubuntu 17.10, il desktop GNOME 3 è l'impostazione predefinita. Ci sono molte nuove funzionalità in Ubuntu 18.04 e puoi estendere le funzionalità del desktop di Ubuntu con le estensioni della shell GNOME. Queste estensioni sono componenti aggiuntivi per il desktop GNOME Che cosa è il passaggio a GNOME per Ubuntu Cosa tornare ai mezzi GNOME per Ubuntu Canonical ha annunciato la fine del desktop Unity. Da Ubuntu 18.04, il desktop GNOME verrà ripristinato. Cosa significa questo per Ubuntu e la sua relazione con gli utenti Linux? Leggi di più aggiungendo nuove funzionalità o modificando la funzionalità esistente per espanderla, un po 'come i componenti aggiuntivi del browser.
Continuate a leggere per trovare diversi modi per installare e abilitare le estensioni della shell GNOME, come rimuovere le estensioni e come ricevere notifiche degli aggiornamenti delle estensioni.
Come installare e gestire le estensioni della shell GNOME
Prima di installare eventuali estensioni, installa GNOME Tweak Tool (anche chiamato Tweaks). Questo è il modo principale per gestire le estensioni della shell GNOME. Lo strumento è disponibile nel Software Center di Ubuntu, ma il modo più semplice per installarlo è utilizzare la riga di comando.
Quindi, premi Ctrl + Alt + T per aprire una finestra di terminale. Quindi, digita il seguente comando e premi Invio:
sudo apt install gnome-tweak-tool Installare e abilitare le estensioni in GNOME può rallentare il tuo sistema. Quindi, fai attenzione a quante estensioni installate e abilitate. Usare Tweaks per disattivare le estensioni e accelerare il sistema 6 Modi per accelerare il desktop GNOME 6 Modi per accelerare il desktop GNOME GNOME è l'interfaccia desktop che si ottiene sulla maggior parte delle distribuzioni Linux. Vuoi accelerare le cose? Queste modifiche miglioreranno la tua esperienza GNOME. Leggi di più se diventa lento.
Hai tre modi per installare le estensioni della shell GNOME.
1. Installare le estensioni della shell GNOME usando lo strumento Tweaks di GNOME
Una volta installato GNOME Tweaks Tool, puoi installare un pacchetto contenente un set minimo di estensioni GNOME, che sarà disponibile in Tweaks. Innanzitutto, assicurati che Tweaks sia chiuso.
Quindi, apri una finestra di Terminale premendo Ctrl + Alt + T, digitando il seguente comando e premendo Invio:
sudo apt install gnome-shell-extensions È necessario riavviare la shell GNOME. Premi Alt + F2, digita "r" e premi Invio.
Per avviare Tweaks, fai clic su Mostra applicazioni nell'angolo in basso a sinistra dello schermo.
Digita "tweaks" nella casella di ricerca e fai clic sull'icona Tweaks .
Fai clic su Estensioni nel riquadro di sinistra nella finestra di dialogo Tweaks . Vedrai un elenco di estensioni con descrizioni. Utilizzare i pulsanti di scorrimento ON / OFF sulla destra per abilitare e disabilitare le estensioni.
Alcune estensioni hanno impostazioni che è possibile modificare (icona dell'ingranaggio) per personalizzare l'estensione.
2. Installare le estensioni della shell GNOME in un browser Web
Il sito Web GNOME Extensions consente di trovare, installare e gestire estensioni per il desktop GNOME. Il sito Web è un'alternativa all'utilizzo di GNOME Tweaks Tool per gestire le estensioni.
Quando visiti il sito web di GNOME Extensions, vedrai un messaggio che dice che devi installare l'integrazione di GNOME Shell, che ha due parti: un'estensione per il browser e un'applicazione di messaggistica host nativa.
Il messaggio fornisce un collegamento per installare l'estensione del browser o il componente aggiuntivo. Questo link ti porta all'appropriata estensione o pagina aggiuntiva per il browser che stai utilizzando. Fare clic sul collegamento per accedere alla pagina e installare l'estensione o il componente aggiuntivo.
Nel nostro esempio utilizziamo Chrome, ma puoi installare l'estensione o il componente aggiuntivo in uno qualsiasi dei seguenti browser:
- Google Chrome, Chromiun e Vivaldi
- Firefox
- musica lirica
Dopo aver installato l'estensione o il componente aggiuntivo, aggiornare la pagina Web delle estensioni di GNOME. Ora vedrai un messaggio che dice che devi installare il connettore host nativo.
Premi Ctrl + Alt + T per aprire una finestra di Terminale. Digitare il seguente comando e premere Invio. Il comando è lo stesso indipendentemente dal browser che stai utilizzando.
sudo apt install chrome-gnome-shell Inserisci la password quando richiesto.
Aggiorna di nuovo la pagina Web di GNOME Extensions. Non ci sono messaggi in alto e puoi iniziare a sfogliare le estensioni.
Se si desidera visualizzare solo le estensioni disponibili per la versione corrente della Shell GNOME, selezionare Versione corrente dall'elenco a discesa Compatibile con . Le estensioni create per versioni precedenti della shell GNOME potrebbero funzionare nella versione corrente, ma non tutte le versioni.
Per installare un'estensione, fai clic sul titolo dell'estensione nell'elenco. Nella pagina dell'estensione, fai clic sul pulsante di scorrimento ON / OFF sulla destra.
Se questa è un'estensione che è già disponibile in Tweaks, sarà semplicemente abilitata. In caso contrario, ti verrà chiesto se desideri scaricare e installare l'estensione. Fai clic su Installa .
L'estensione è installata e abilitata automaticamente. In questo esempio, l'estensione Estensioni fornisce un'icona nell'area della barra delle applicazioni che consente di abilitare e disabilitare rapidamente le estensioni e accedere alle loro impostazioni quando disponibili.
È inoltre possibile attivare e disattivare le estensioni e configurare le impostazioni per le estensioni sul sito Web di GNOME Extensions.
Come accennato in precedenza, le estensioni installate dal sito Web di GNOME Extensions possono essere gestite anche in Tweaks.
Per utilizzare il sito Web GNOME Extensions per gestire le estensioni installate, fai clic su Estensioni installate sulla barra degli strumenti del sito Web.
3. Installare manualmente le estensioni della shell GNOME
È possibile scaricare estensioni dal sito Web di GNOME Extensions per l'installazione manuale offline. Potresti anche trovare estensioni su altri siti che puoi scaricare.
Ad esempio, sono disponibili due estensioni che consentono di spostare i pulsanti della finestra sul pannello (da Pulsanti a pannello) e il titolo della finestra sul pannello (Titolo su pannello). Sono disponibili come download di file ZIP e li si installa manualmente. Assicurati di eseguire la scansione dei file scaricati I 7 migliori programmi antivirus gratuiti di Linux I 7 migliori programmi antivirus gratuiti di Linux Leggi di più prima di estrarli e installarli.
Quando si scaricano le estensioni sul sito Web delle estensioni GNOME, è necessario selezionare la versione della shell GNOME in esecuzione. Per scoprire quale versione stai utilizzando, premi Ctrl + Alt + T per aprire una finestra Terminale, digita il seguente comando e premi Invio:
gnome-shell --version 
Ad esempio, installeremo manualmente l'estensione Gestione appfolder dal sito Web di GNOME Extensions. Questa estensione ti consente di raggruppare le icone nella vista Applicazioni.
Nella pagina web dell'estensione, seleziona la versione di Shell da scaricare . Quindi, selezionare la versione dell'estensione . Il download inizia automaticamente.
Aprire Nautilus ed estrarre il file scaricato facendo clic con il pulsante destro del mouse sul file e selezionando Estrai qui .
Premi Ctrl + H per mostrare file e cartelle nascosti. Quindi, seleziona la cartella dell'estensione estratta e premi Ctrl + C per copiare la cartella estratta. Vai alla seguente cartella e premi Ctrl + V per incollare la cartella dell'estensione:
~/.local/share/gnome-shell/extensions Il carattere tilde (~) rappresenta la tua cartella Home.
Ora dobbiamo assicurarci che il nome della cartella di estensione corrisponda a cosa c'è nel file dei metadati.
Apri la cartella dell'estensione che hai appena incollato nella cartella ~ / .local / share / gnome-shell / extensions . Fare clic con il tasto destro del mouse sul file metadata.json e selezionare Apri con Editor di testo .
Trova il valore di "uuid", selezionalo (senza virgolette) e copialo.
Torna alla cartella dell'estensione in Nautilus e seleziona la cartella. Quindi, premi F2 per rinominarlo. Incolla il testo che hai copiato da "uuid" nella casella Nome cartella e fai clic su Rinomina .
Ora è necessario riavviare la shell GNOME. Premi Alt + F2, digita "r" e premi Invio:
Le estensioni installate manualmente sono anche disponibili nella sezione Estensioni in Tweaks. Puoi abilitarli e disabilitarli e modificare le loro impostazioni qui, così come sul sito di GNOME Extensions.
Come disabilitare o disinstallare le estensioni della shell GNOME
Le estensioni abilitate in GNOME Tweaks Tool possono essere disabilitate, o disattivate, usando lo strumento. Non possono essere disinstallati se non si disinstalla Tweaks. Per disinstallare Tweaks, premi Ctrl + Alt + T per aprire una finestra di Terminale, digita il seguente comando e premi Invio:
sudo apt remove gnome-tweak-tool Se hai installato estensioni utilizzando il sito web di GNOME Extensions, puoi utilizzare il sito Web per disattivare o disinstallare tali estensioni. Per disattivare un'estensione, fai clic sul pulsante di scorrimento ON / OFF in modo che venga visualizzato su OFF .
Solo le estensioni installate sul sito web di GNOME Extensions che non sono disponibili nello strumento Tweaks possono essere disinstallate. Puoi vedere quali estensioni sono quelle della X bianca nell'icona della casella rossa a destra del pulsante di scorrimento ON / OFF . Fai clic sul pulsante X per disinstallare l'estensione.
Le estensioni installate usando il sito GNOME Extensions sono anche aggiunte alla cartella ~ / .local / share / gnome-shell / extensions . Pertanto, puoi disinstallare queste estensioni e tutte le estensioni installate manualmente eliminando le cartelle di estensione dalla cartella ~ / .local / share / gnome-shell / extensions .
Come ottenere le notifiche di aggiornamento per le estensioni della shell di GNOME
L'unico modo per sapere se un aggiornamento è disponibile per un'estensione della shell GNOME è visitare il sito web di GNOME Extensions. Ma c'è un'estensione disponibile, chiamata Extension Update Notifier, che ti avvisa quando c'è un aggiornamento per un'estensione installata sul tuo sistema.
Utili estensioni della shell GNOME da installare
Ecco alcune utili estensioni della shell GNOME per iniziare.
1. Dash to Dock
Dash to Dock fornisce un dock per la shell GNOME, facilitando l'accesso alle applicazioni e più rapidamente per passare da un'applicazione aperta a un desktop.
Il pannello laterale viene convertito in un dock che può essere visualizzato a sinistra, a destra, in alto o in basso sullo schermo. È inoltre possibile modificare la dimensione delle icone sul dock, limitare le dimensioni del dock stesso e regolare molte altre impostazioni che influiscono sull'aspetto e sul comportamento del dock.
Scarica: Dash to Dock
2. Indicatore di appunti
L'estensione Indicatore di Appunti aggiunge un indicatore di appunti al pannello superiore e memorizza la cronologia degli appunti. Ciò ti consente di accedere agli elementi che hai copiato negli Appunti dopo aver installato l'estensione e incollato in un'applicazione come un elaboratore di testi o un editor di testo.
Puoi modificare le impostazioni (come il numero di elementi da memorizzare nella cronologia degli appunti o il numero di caratteri da mostrare nell'anteprima di ciascun elemento) nel menu dell'estensione.
Scarica: Indicatore di appunti
3. Terminale a discesa
Se si utilizza molto la riga di comando, è possibile installare l'estensione Terminale a discesa. Ciò consente di accedere a una finestra di Terminale con una sequenza di tasti (il tasto tilde (~) sopra il tasto Tab di default) che scende dalla parte superiore dello schermo o si apre dalla parte inferiore.
Scarica: Terminale a discesa
Migliora la produttività con le estensioni della shell GNOME
Anche se non ti piace molto la nuova shell GNOME, puoi personalizzarla usando le estensioni e trasformarla in un ambiente desktop utile e produttivo.
In breve, le estensioni GNOME Shell forniscono un'altra ragione per l'aggiornamento a Ubuntu 18.04 7 Motivi per l'aggiornamento a Ubuntu 18.04 LTS 7 Motivi per l'aggiornamento a Ubuntu 18.04 LTS Ubuntu 18.04 LTS è l'ultima release di supporto a lungo termine del più popolare sistema operativo Linux. Ecco perché è necessario aggiornare Ubuntu all'ultima versione. Leggi di più .