6376
Commento:
|
7740
|
Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
Linea 21: | Linea 21: |
<<Anchor(gnome-tweak-tool)>> | |
Linea 27: | Linea 28: |
Per accedere a '''Gnome Tweak Tool''' selezionare il percorso '''''Attività → Strumento di personalizzazione'''''. | Per accedere a '''Gnome Tweak Tool''' [[AmbienteGrafico/AvviareProgrammi|Avviare]] '''Strumento di personalizzazione'''. |
Linea 58: | Linea 59: |
* '''Ubuntu Dock''': preinstallata in Ubuntu 17.10, è basata sull'estensione '''[[https://extensions.gnome.org/extension/307/dash-to-dock/|Dash to Dock]]'''. Permette di visualizzare il tema predefinito di Ubuntu con la barra laterale e relative funzionalità. Per maggiori informazioni su quest'ultime consultare [[AmbienteGrafico/Gnome/Glossario#Dock|questa guida]]. Per la sua attivazione e rimozione consultare [[#GNOMEpredefinito|questo paragrafo]]. | * '''Ubuntu Dock''': consultare [[#GNOMEpredefinito|questo paragrafo]]. |
Linea 63: | Linea 64: |
Solitamente le estensioni sono gestibili e configurabili da: * [[#gnome-tweak-tool|Strumento di personalizzazione]], all'interno della relativa sezione. * direttamente dal browser visitando [[https://extensions.gnome.org/|questa pagina]]. Se questa opzione fosse disabilitata in Ubuntu 17.10, [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://chrome-gnome-shell|chrome-gnome-shell]], quindi abilitare il componente aggiuntivo '''Integrazione con GNOME Shell''' da uno sei seguenti link, in base al browser in uso: * [[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]] * [[Google Chrome, Chromium, and Vivaldi|Opera]] |
|
Linea 64: | Linea 72: |
||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Grandi/info.png,,center)>> ||<style="padding:0.5em; border:none;">Le estensioni sono gestibili direttamente dal browser, visitando [[https://extensions.gnome.org/|questa pagina]].|| ||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/warning.png,,center)>> ||<style="padding:0.5em; border:none;">'''Alcune estensioni possono essere incompatibili con la versione di GNOME in uso, oppure andare in conflitto con altre già presenti.''' || |
||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/warning.png,,center)>> ||<style="padding:0.5em; border:none;">'''Alcune estensioni possono essere incompatibili con la versione di GNOME o di Ubuntu in uso, oppure andare in conflitto con altre già presenti. In caso di qualsiasi problema fare riferimento alle pagine dei singoli progetti.''' || |
Linea 95: | Linea 101: |
* '''Sessione predefinita''': per abilitare la sessione di GNOME predefinita senza le personalizzazioni di Ubuntu [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-session|gnome-session]].<<BR>> Queste saranno alcune delle principali differenze: sarà assente Ubuntu Dock; saranno presenti di default il font Cantarell font, icone e temi Adwaita; le finestre avranno solo il tasto di chiusura; sarà presente l‘hot corner '''Attività'''. * '''Ubuntu Dock''': per disabilitare o abilitare, se assente, la barra laterale di Ubuntu [[AmministrazioneSistema/InstallareProgrammi|disinstallare o installare]] il pacchetto [[apt://gnome-shell-extension-ubuntu-dock|gnome-shell-extension-ubuntu-dock]]. |
Per abilitare la sessione di GNOME predefinita senza le personalizzazioni di Ubuntu [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-session|gnome-session]]. Queste saranno alcune delle principali differenze: saranno assenti le estensioni Ubuntu Dock e !AppIndicator; saranno presenti di default il font Cantarell font, icone e temi Adwaita; le finestre avranno il solo tasto di chiusura; sarà presente l‘hot corner '''Attività'''. = Ubuntu Dock (Ubuntu 17.10) = La '''[[AmbienteGrafico/Gnome/Glossario#Dock|dock]]''' è lo strumento preinstallato di Ubuntu che permette una serie di funzionalità. * '''Installazione''': per abilitare, se assente, la dock [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-shell-extension-ubuntu-dock|gnome-shell-extension-ubuntu-dock]]. Per disabilitarla [AmministrazioneSistema/InstallareProgrammi|disinstallare]] il pacchetto. * '''Funzione Minimize on click''': per abilitare la funzione che permette di minimizzare una finestra cliccando semplicemente sulla relativa icona nella dock, compiere i seguenti passaggi: 0. [[AmministrazioneSistema/InstallareProgrammi|Installare]] se assente il pacchetto [[apt://dconf-editor|dconf-editor]]. 0. [[AmbienteGrafico/AvviareProgrammi|Avviare]] il browser '''dconf Editor''' e selezionare il menu '''''org → gnome → shell → extensions → dash-to-dock'''''. 0. Deselezionare '''Use default value'''. 0. Selezionare '''minimize''' o '''minimize-or-overview''' nel campo '''Custom value'''. In alternativa è possibile dopo il primo passaggio digitare il seguente comando in un [[AmministrazioneSistema/Terminale|terminale]]: {{{ gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize' }}} |
Problemi in questa pagina? Segnalali in questa discussione
Introduzione
Questa guida descrive come personalizzare GNOME 3.
Cambiare lo sfondo della Scrivania
Per cambiare sfondo della Scrivania e della schermata di blocco fare clic con il Pulsante destro del mouse in punto libero del desktop e dal menu contestuale selezionare la voce Cambia sfondo....
Sarà dunque possibile selezionare uno sfondo da una delle seguenti schede:
Rivestimenti: gallery di immagini predefinite.
Immagini: file personali dell'utente.
Colori: set di sfondi monocromatici.
Strumento di personalizzazione
È un comodo strumento che permette di gestire e personalizzare GNOME.
Se assente installare il pacchetto gnome-tweak-tool.
Per accedere a Gnome Tweak Tool Avviare Strumento di personalizzazione. Di seguito sono elencate alcune sezioni di particolare interesse.
Aspetto
In questa sezione è possibile impostare utilizzando un menu a tendina:
- Tema scuro globale
- Tema GTK +
- Tema icone
- Tema cursore
- Tema della shell
- Abilitazione delle animazioni
Nel sito gnome-look sono disponibili e scaricabili liberamente svariati temi GTK, set di icone, sfondi per il desktop ecc. |
Barra superiore
In questa sezione è possibile impostare nel pannello superiore la visualizzazione del menu delle applicazioni e il formato di data e ora.
Estensioni
In questa sezione è possibile gestire le estensioni, che consentono di apportare molteplici modifiche e/o funzionalità aggiuntive. Alcune estensioni sono già preinstallate, altre possono essere installate dall'utente (comprese quelle di terze parti).
Fra queste si riportano in questa sede:
Ubuntu Dock: consultare questo paragrafo.
Menu delle applicazioni: permette di visualizzare il menu in modalità GNOME Classico.
Indicatore Posizioni: permette di visualizzare il menu che permette di accedere rapidamente alle cartelle.
Indicatore degli spazi di lavoro
Lista delle finestre: abilita la visualizzazione delle finestre attive tramite hotcorner.
Solitamente le estensioni sono gestibili e configurabili da:
Strumento di personalizzazione, all'interno della relativa sezione.
direttamente dal browser visitando questa pagina. Se questa opzione fosse disabilitata in Ubuntu 17.10, installare il pacchetto chrome-gnome-shell, quindi abilitare il componente aggiuntivo Integrazione con GNOME Shell da uno sei seguenti link, in base al browser in uso:
Alcune estensioni possono essere incompatibili con la versione di GNOME o di Ubuntu in uso, oppure andare in conflitto con altre già presenti. In caso di qualsiasi problema fare riferimento alle pagine dei singoli progetti. |
Finestre
In questa sezione è possibile impostare il comportamento e le azioni delle finestre, nonché abilitare i pulsanti di minimizzazione e massimizzazione (disabilitati di default).
Scrivania
In questa sezione si accede alle impostazioni della Scrivania, compresa l'abilitazione delle icone sul desktop.
Spazi di lavoro
In questa sezione è possibile decidere il numero degli spazi di lavoro e se impostarlo in modalità statica o dinamica.
Tipi di carattere
In questa sezione è possibile impostare i font di sistema. Fare riferimento alla seguente guida per installare nuovi tipi di caratteri.
Schermata di accesso
Per personalizzare GDM (predefinito in Ubuntu GNOME e in Ubuntu 17.10), o un eventuale altro display manager utilizzato, consultare questa pagina.
Cambiare il tema di avvio e di arresto
Fare riferimento alla seguente guida.
Sessione predefinita di GNOME (Ubuntu 17.10)
Per abilitare la sessione di GNOME predefinita senza le personalizzazioni di Ubuntu installare il pacchetto gnome-session.
Queste saranno alcune delle principali differenze: saranno assenti le estensioni Ubuntu Dock e AppIndicator; saranno presenti di default il font Cantarell font, icone e temi Adwaita; le finestre avranno il solo tasto di chiusura; sarà presente l‘hot corner Attività.
Ubuntu Dock (Ubuntu 17.10)
La dock è lo strumento preinstallato di Ubuntu che permette una serie di funzionalità.
Installazione: per abilitare, se assente, la dock installare il pacchetto gnome-shell-extension-ubuntu-dock. Per disabilitarla [AmministrazioneSistema/InstallareProgrammi|disinstallare]] il pacchetto.
Funzione Minimize on click: per abilitare la funzione che permette di minimizzare una finestra cliccando semplicemente sulla relativa icona nella dock, compiere i seguenti passaggi:
Installare se assente il pacchetto dconf-editor.
Avviare il browser dconf Editor e selezionare il menu org → gnome → shell → extensions → dash-to-dock.
Deselezionare Use default value.
Selezionare minimize o minimize-or-overview nel campo Custom value.
In alternativa è possibile dopo il primo passaggio digitare il seguente comando in un terminale:
gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize'