Introduzione

Per poter aggiungere funzionalità all'ambiente GONME è possibile installare delle estensioni. Tipicamente le estensioni sono installabili e gestibili dal sito GNOME Extensions, tuttavia Ubuntu ne presenta alcune di esse preinstallate nel classico formato .deb.

In questa guida verrà mostrato quali estensioni siano già presenti sul sistema, come installarne di nuove e come attivarle/disattivarle.

Alcune estensioni possono essere incompatibili con la versione di GNOME o di Ubuntu in uso, oppure andare in conflitto con altre già presenti. Per qualsiasi problema fare riferimento alle pagine dei singoli progetti.

Estensioni preinstallate

Vengono qui riportate le estensioni preinstallate in Ubuntu in formato .deb.

Desktop Icons

Pacchetto di installazione: gnome-shell-extension-desktop-icons

L'ambiente GNOME nelle versioni più recenti non prevede l'utilizzo di file sul desktop. 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 (in certi casi lo sdoppiamento delle icone sul desktop) è consigliabile disinstallare l'applicazione originale digitando nel terminale:
```
 sudo apt purge gnome-shell-extension-desktop-icons
```
Bug in Ubuntu 20.10 - [risolto]: se si è appena installata Ubuntu 20.10 a causa del bug 1898462 tentando di trascinare file dal desktop verso cartelle e viceversa (funzionalità comunque non prevista), si avrà un crash del desktop che obbligherà al riavvio forzato del sistema.
Il bug è stato nel frattempo risolto, pertanto sarà sufficiente effettuare gli aggiornamenti di sistema per correggere il pacchetto.

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. Questa estensione, versione dell'estensione Dash to Dock con parametri di default modificati, permette l'utilizzo di una dock laterale.

Ubuntu Appindicators

Pacchetto di installazione: gnome-shell-extension-appindicator

Questa estensione permette di alle applicazione che ne fanno uso, di inserire una propria icona fra gli indicatori di sistema in alto a destra.

Sito GNOME Extensions

Dal sito ufficiale è possibile installare e gestire ulteriori estensioni.

Preparativi

Ad eccezione di Epiphany/Web, per i principali browser sarà necessario installare il pacchetto chrome-gnome-shell.
In automatico il sito dovrebbe installare a seconda del browser il rispettivo componente aggiuntivo. Per installarli manualmente:

Installazioni e gestione estensioni

È possibile effettuare ricerche e installazioni al seguente indirizzo.
Gli strumenti per la gestione delle estensioni (attivazione/disattivazione, impostazioni, aggiornamento...) sono disponibili al seguente indirizzo.

Strumenti alternativi

App per gestire estensioni

Allo stato attuale non esiste un software che permetta di installare estensioni. Ciò dovrà essere fatto direttamente sul sito ufficiale oppure manualmente.

Per gestire le impostazioni sono invece disponibili i seguenti software:

Estensioni: installare il pacchetto gnome-shell-extension.
Tweaks: installare il pacchetto gnome-tweak-tool.
Maggiori informazioni alla seguente pagina

Installazione manuale

Ulteriori risorse

CategoryAmministrazione

-  ⇤ ← Versione 10 del 03/02/2021 00.38.16 → 
  Dimensione: 2799
  Autore: jeremie2
  Commento:
+   ← Versione 12 del 03/02/2021 02.17.49 → ⇥
  Dimensione: 5419
  Autore: jeremie2
  Commento:
-Le cancellazioni sono segnalate in questo modo.
+Le aggiunte sono segnalate in questo modo.
 Linea 9:
-Per poter aggiungere funzionalità all'ambiente [[AmbienteGrafico/Gnome|GONME]] è possibile installare delle estensioni. Tipicamente le estensioni sono installabili dal sito [[https://extensions.gnome.org/|GNOME Extensions]] (verrà mostrato come usufruirne), tuttavia '''Ubuntu''' ne presenta alcune preinstallate nel classico formato [[AmministrazioneSistema/InstallareProgrammi/PacchettiDebian|.deb]].
+Per poter aggiungere funzionalità all'ambiente [[AmbienteGrafico/Gnome|GONME]] è possibile installare delle estensioni. Tipicamente le estensioni sono installabili e gestibili dal sito [[https://extensions.gnome.org/|GNOME Extensions]], tuttavia '''Ubuntu''' ne presenta alcune di esse preinstallate nel classico formato [[AmministrazioneSistema/InstallareProgrammi/PacchettiDebian|.deb]].
 Linea 14:
-Nonostante le estensioni siano frequentemente utilizzate dagli utenti, è opportuno ricordare che il loro utilizzo potrebbe non essere esente da malfunzionamenti.
+Alcune estensioni possono essere incompatibili con la versione di GNOME o di Ubuntu in uso, oppure andare in conflitto con altre già presenti. Per qualsiasi problema fare riferimento alle pagine dei singoli progetti.
 Linea 39:
+ * Pacchetto di installazione: [[apt://gnome-shell-extension-ubuntu-dock|gnome-shell-extension-ubuntu-dock]]
-Linea 40:
+Linea 41:
+L'ambiente '''GNOME''' non prevede l'utilizzo di una barra delle applicazioni o di una dock. Questa estensione, versione dell'estensione [[https://extensions.gnome.org/extension/307/dash-to-dock/|Dash to Dock]] con parametri di default modificati, permette l'utilizzo di una [[AmbienteGrafico/Gnome/Glossario#dock|dock laterale]].
-Linea 43:
+Linea 45:
+ * Pacchetto di installazione: [[apt://gnome-shell-extension-appindicator|gnome-shell-extension-appindicator]]
-Linea 44:
+Linea 47:
+Questa estensione permette di alle applicazione che ne fanno uso, di inserire una propria icona fra gli [[AmbienteGrafico/Gnome/Glossario#indicatori|indicatori]] di sistema in alto a destra.
-Linea 45:
+Linea 49:
+= Sito GNOME Extensions =
-Linea 46:
+Linea 51:
+Dal sito ufficiale è possibile installare e gestire ulteriori estensioni.
-Linea 47:
+Linea 53:
+== Preparativi ==
-Linea 48:
+Linea 55:
+. Ad eccezione di '''Epiphany/Web''', per i principali browser sarà necessario [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://chrome-gnome-shell|chrome-gnome-shell]].
 0. In automatico il sito dovrebbe installare a seconda del browser il rispettivo componente aggiuntivo. Per installarli manualmente:
  * [[https://addons.mozilla.org/it/firefox/addon/gnome-shell-integration/|Firefox]]
  * [[https://chrome.google.com/webstore/detail/gnome-shell-integration/gphhapmejobijbbhgpjhcjognlahblep|Chromium, Google Chrome, Vivaldi]]
  * [[https://addons.opera.com/en/extensions/details/gnome-shell-integration/|Opera]]
-Linea 49:
+Linea 61:
+== Installazioni e gestione estensioni ==
-Linea 50:
+Linea 63:
+ * È possibile effettuare '''ricerche e installazioni''' al [[https://extensions.gnome.org/|seguente indirizzo]].
 * Gli strumenti per la '''gestione delle estensioni''' (attivazione/disattivazione, impostazioni, aggiornamento...) sono disponibili al [[https://extensions.gnome.org/local/|seguente indirizzo]].
-Linea 51:
+Linea 66:
+= Strumenti alternativi =
-Linea 52:
+Linea 68:
+== App per gestire estensioni ==
-Linea 53:
+Linea 70:
+Allo stato attuale non esiste un software che permetta di installare estensioni. Ciò dovrà essere fatto direttamente sul sito ufficiale oppure manualmente.
-Linea 54:
+Linea 72:
+Per gestire le impostazioni sono invece disponibili i seguenti software:
 * '''Estensioni''': [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-shell-extension|gnome-shell-extension]].
 * '''Tweaks''': [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-tweak-tool|gnome-tweak-tool]].<<BR>>Maggiori informazioni alla [[AmbienteGrafico/Gnome/Personalizzazione#gnome-tweak-tool|seguente pagina]]
-Linea 55:
+Linea 76:
+== Installazione manuale ==