Come personalizzare la shell GNOME in Ubuntu usando le estensioni

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 di GNOME Che cosa è il ritorno a GNOME per Ubuntu Cosa tornare ai mezzi di 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, colpisci Ctrl + Alt + T per aprire una finestra di terminale. Quindi, digita il seguente comando e premi Invio:

sudo apt installa 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 velocizzare 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 Terminale premendo Ctrl + Alt + T, digitando il seguente comando e premendo Invio:

sudo apt installa gnome-shell-extensions

È necessario riavviare la shell GNOME. Colpire Alt + F2, genere “r”, e premere Invio.

Per iniziare Tweaks, clicca Mostra applicazioni nell'angolo in basso a sinistra dello schermo.

genere “ritocchi” nella casella di ricerca e fare clic su Ritocchi icona.

Clic estensioni nel riquadro sinistro sul Ritocchi la finestra di dialogo. Vedrai un elenco di estensioni con descrizioni. Utilizzare il ACCESO SPENTO pulsanti di scorrimento 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.

Colpire 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 installa 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 dal Compatibile con menu `A tendina. 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 su ACCESO SPENTO pulsante del cursore 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. Clic Installare.

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 di GNOME Extensions per gestire le estensioni installate, fare 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 anti-virus Linux gratuiti I 7 migliori programmi anti-virus Linux gratuiti Ulteriori informazioni 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 correndo, colpisci Ctrl + Alt + T per aprire una finestra di Terminale, digitare il seguente comando e premere 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 il Versione Shell a Scaricare. Quindi, selezionare il Versione di estensione. Il download inizia automaticamente.

Aprire Nautilus ed estrarre il file scaricato facendo clic con il tasto destro sul file e selezionando Estrarre qui.

stampa 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 incollare la cartella di estensione:

~ / gnome-shell / .local / share / estensioni

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 nel ~ / gnome-shell / .local / share / estensioni cartella. Fare clic con il tasto destro del mouse su metadata.json file e selezionare Apri con Editor di testo.

Trova il valore del “uuid”, selezionalo (senza le virgolette) e copialo.

Torna alla cartella dell'estensione in Nautilus e seleziona la cartella. Quindi, colpisci F2 per rinominarlo. Incolla il testo che hai copiato dal “uuid” nel Nome della cartella box e clicca Rinominare.

Ora è necessario riavviare la shell GNOME. Colpire Alt + F2, genere “r”, e premi Invio:

Le estensioni installate manualmente sono anche disponibili in estensioni sezione 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, premere Ctrl + Alt + T per aprire una finestra di Terminale, digitare il seguente comando e premere Invio:

sudo apt rimuove 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, fare clic su ACCESO SPENTO pulsante di scorrimento in modo che legga OFF.

Solo le estensioni installate sul sito web di GNOME Extensions che non sono disponibili nello strumento Tweaks possono essere disinstallate. Puoi dire quali estensioni sono quelle del bianco X nell'icona della casella rossa a destra di ACCESO SPENTO pulsante del cursore. Clicca il X pulsante per disinstallare l'estensione.

Le estensioni installate usando il sito GNOME Extensions sono anche aggiunte al ~ / gnome-shell / .local / share / estensioni cartella. Quindi è possibile disinstallare queste estensioni e eventuali estensioni installate manualmente, eliminando le cartelle di estensione dal ~ / gnome-shell / .local / share / estensioni cartella.

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, rendendo più facile l'accesso alle applicazioni e più veloce per passare da un'applicazione aperta a 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.

Scaricare: 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.

Scaricare: 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 un tasto (il tasto tilde (~) sopra il linguetta tasto per impostazione predefinita) che scende dalla parte superiore dello schermo o si apre dal basso.

Scaricare: 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ù .

Scopri di più su: GNOME Shell, Ubuntu.