Dimensione: 5239
Commento:
|
Dimensione: 105
Commento: reset
|
Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
Linea 5: | Linea 5: |
<<Informazioni(rilasci="20.04 20.10")>> | |
Linea 9: | Linea 8: |
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]]. In questa guida verrà mostrato quali estensioni siano già presenti sul sistema, come installarne di nuove e come attivarle/disattivarle. {{{#!wiki important 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`. <<Anchor(icone_desktop)>> == Desktop Icons == * Pacchetto di installazione: [[apt://gnome-shell-extension-desktop-icons|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.<<BR>>Diversi utenti preferiscono utilizzare al suo posto la più recente [[https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/|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 [[AmministrazioneSistema/Terminale|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 [[https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-desktop-icons/+bug/1898462|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.<<BR>>Il bug è stato nel frattempo risolto, pertanto sarà sufficiente effettuare gli [[AmministrazioneSistema/Aggiornamenti|aggiornamenti]] di sistema per correggere il pacchetto. == Ubuntu Dock == * Pacchetto di installazione: [[apt://gnome-shell-extension-ubuntu-dock|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 [[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]]. == Ubuntu Appindicators == * Pacchetto di installazione: [[apt://gnome-shell-extension-appindicator|gnome-shell-extension-appindicator]] 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. <<Anchor(sito_extensions)>> = Sito GNOME Extensions = Dal sito ufficiale è possibile installare e gestire ulteriori estensioni. == Preparativi == 0. 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]] == Installazioni e gestione estensioni == * È 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]]. <<Anchor(alternative)>> = Strumenti alternativi = == App per gestire estensioni == Allo stato attuale i seguenti software non sono in grado di installare estensioni, sono però utili per gestirne le impostazioni: * '''Estensioni''': [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-shell-extension-prefs|gnome-shell-extension-prefs]]. * '''Tweaks''': [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-tweak-tool|gnome-tweak-tool]]. (Maggiori informazioni alla [[AmbienteGrafico/Gnome/Personalizzazione#gnome-tweak-tool|seguente pagina]]). = Ulteriori risorse = * [[https://extensions.gnome.org|Sito ufficiale delle estensioni]] |
|
Linea 80: | Linea 10: |
CategoryAmministrazione | CategoryHomepage |