Guida verificata con Ubuntu: 20.04
Introduzione
Per poter aggiungere funzionalità all'ambiente GONME è possibile installare delle estensioni. Tipicamente le estensioni sono installabili dal sito GNOME Extensions (verrà mostrato come usufruirne), tuttavia Ubuntu ne presenta alcune 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.
Nonostante le estensioni siano frequentemente utilizzate dagli utenti, è opportuno ricordare che il loro utilizzo potrebbe non essere esente da malfunzionamenti.
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
Ubuntu Appindicators
