Guida verificata con Ubuntu: 20.04 22.04 24.04
Problemi in questa pagina? Segnalali in questa discussione
Introduzione
GNOME permette di installare delle estensioni per poter personalizzare e/o aggiungere funzionalità all'ambiente desktop. Tipicamente le estensioni sono installabili e gestibili dal sito GNOME Extensions, ma sono disponibili anche altre modalità.
Ubuntu ne presenta alcune preinstallate nel classico formato .deb.
In questa guida viene mostrato quali siano le estensioni già presenti sul sistema, come installarne di nuove e come gestirle.
Alcune estensioni possono essere incompatibili con la versione di GNOME o di Ubuntu in uso, oppure andare in conflitto con altre già presenti.
La maggior parte delle estensioni esistenti sono create da sviluppatori di terze parti. Per qualsiasi problema fare riferimento alle pagine dei singoli progetti.
Estensioni preinstallate
Vengono qui riportate le estensioni disponibili nei repository e preinstallate in Ubuntu.
Desktop Icons NG (Ubuntu 21.04 e successive)
Pacchetto di installazione: gnome-shell-extension-desktop-icons-ng
L'ambiente GNOME nelle versioni più recenti non prevede l'utilizzo di file e cartelle sulla Scrivania. Questa estensione ne permette l'utilizzo.
Desktop Icons (Ubuntu 20.04)
Pacchetto di installazione: gnome-shell-extension-desktop-icons
L'ambiente GNOME nelle versioni più recenti non prevede l'utilizzo di file e cartelle sulla Scrivania. Questa estensione ne permette l'utilizzo.
Problemi noti
Mancanza drag & drop: l'applicazione non permette di trascinare file dal desktop alle cartelle e viceversa.
Diversi utenti preferiscono utilizzare al suo posto la più recente Desktop Icons NG (DING) che integra queste funzionalità. In tal caso, per evitare conflitti è consigliabile disinstallare l'applicazione originale digitando nel terminale:sudo apt purge gnome-shell-extension-desktop-icons
Ubuntu Dock
Pacchetto di installazione: gnome-shell-extension-ubuntu-dock
L'ambiente GNOME non prevede l'utilizzo di una barra delle applicazioni o di una dock sempre visibile in primo piano. Questa estensione, versione modificata di Dash to Dock, permette l'utilizzo di una dock laterale (che si può riposizionare anche a destra o in basso dalle Impostazioni).
Ubuntu Appindicators
Pacchetto di installazione: gnome-shell-extension-appindicator
Questa estensione permette, alle applicazioni che ne precedono l'uso, di inserire una propria icona fra gli indicatori di sistema in alto a destra.
Ubuntu Tiling Assistant (24.04)
Pacchetto di installazione: gnome-shell-extension-ubuntu-tiling-assistant
Nato come fork dell'estensione Tiling Assistant, permette di utilizzare la funzione di tiling, con la possibilità di affiancare le finestre ad un quarto dello schermo, potendo inoltre ridimensionare gruppi di finestre affiancate.
Installabile anche su Ubuntu 22.04 (consultare questo paragrafo).
Gestione
Sito GNOME Extensions
È lo strumento tradizionalmente usato per gestire le estensioni. Sono supportati tutti i principali browser, ad eccezione di Epiphany/Web.
Installare il pacchetto chrome-gnome-shell.
- In automatico il sito dovrebbe richiedere di installare il rispettivo componente aggiuntivo. In caso contrario, per installarli manualmente:
Sarà quindi possibile:
effettuare ricerche e installazioni al seguente indirizzo.
gestire le estensioni (attivazione/disattivazione, impostazioni, aggiornamento, ecc.) al seguente indirizzo.
Gestore di estensioni (22.04 e successive)
Semplice strumento che permette di gestire le estensioni preinstallate, con funzione integrata di ricerca e installazione di nuove (senza visitare il sito di GNOME). Integra in più altre utili funzionalità (configurazione, aggiornamento delle estensioni, verifica della compatibilità con versioni diverse di GNOME, ecc.).
Per ottenerlo installare il pacchetto gnome-shell-extension-manager.
Estensioni
Strumento simile al Gestore di estensioni, ma che permette solo di gestire quelle esistenti senza poterne aggiungere di nuove.
Per ottenerlo installare il pacchetto gnome-shell-extension-prefs.
Altre app per gestire estensioni
Allo stato attuale i seguenti software non sono in grado di installare estensioni, sono però utili per gestirne le impostazioni:
Personalizzazioni/Tweaks: installare il pacchetto gnome-tweak-tool per Ubuntu 20.04 oppure gnome-tweaks per Ubuntu 22.04 e successive. Per maggiori informazioni consultare la seguente pagina.
Dconf Editor: installare il pacchetto dconf-editor. Si tratta di uno strumento di configurazione globale del sistema.
Le impostazioni relative alle estensioni si trovano in: /org/gnome/shell/extensions/.Utilizzare Dconf Editor con cautela. Data una certa macchinosità nell'utilizzo, c'è la possibilità di modificare inavvertitamente impostazioni cruciali per l'utilizzo del sistema.
Esempi di estensioni
Di seguito sono riportate, a titolo di esempio, solo alcune delle estensioni più popolari e/o degne di interesse:
Apps Menu: sviluppata attivamente da GNOME, aggiunge alla barra superiore un classico menu delle applicazioni, divise per categoria.
Places Status Indicator: aggiunge alla barra superiore un menu per raggiungere velocemente le cartelle principali del sistema.
System Monitor: aggiunge alla barra superiore degli indicatori delle risorse di sistema (CPU, RAM, rete, ecc.).
Notification Banner Position: modifica la posizione delle notifiche.
Power Profile Switcher: cambia automaticamente i profili energetici in base all'alimentazione e alla percentuale di batteria.
Bring Out Submenu Of Power Off Button: abilita dei tasti diretti per spegnimento, riavvio, sospensione, logout ecc.
Just Perfection: permette di personalizzare a fondo molti elementi di GNOME Shell (fra i vari: posizione dell'orologio, disabilitazione del tasto Attività, dimensioni del pannello, dimensioni delle icone della Dash e tanto altro).
