|
Dimensione: 6042
Commento:
|
Dimensione: 8258
Commento:
|
| Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
| Linea 11: | Linea 11: |
| = Cambiare lo sfondo della Scrivania = | = Sfondo della Scrivania = |
| Linea 21: | Linea 21: |
| = Schermata di accesso = Per personalizzare '''GDM''' (predefinito in Ubuntu GNOME e in Ubuntu 17.10), o un eventuale altro display manager utilizzato, consultare [[AmbienteGrafico/DisplayManager/GDM|questa pagina]]. = Tema di avvio e arresto del sistema = Fare riferimento alla [[AmbienteGrafico/Plymouth|seguente guida]]. <<Anchor(gnome-tweak-tool)>> |
|
| Linea 27: | Linea 36: |
| Per accedere a '''Gnome Tweak Tool''' selezionare il percorso '''''Attività → Strumento di personalizzazione'''''. | Per accedere al programma [[AmbienteGrafico/AvviareProgrammi|avviare]] '''Strumento di personalizzazione'''. |
| Linea 51: | Linea 60: |
| <<Anchor(estensioni)>> == 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''': 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]]. * '''Menu delle applicazioni''': permette di visualizzare il menu in modalità '''[[AmbienteGrafico/Gnome/Flashback#Primo_avvio|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. ||<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.''' || |
|
| Linea 84: | Linea 76: |
| ##= Schermata di accesso = | <<Anchor(dconf)>> = Editor di configurazione = Questo strumento permette di apportare modifiche a livello più avanzato. <<BR>> Se assente è possibile ottenerlo [[AmministrazioneSistema/InstallareProgrammi|installando]] il pacchetto [[apt://dconf-editor|dconf-editor]]. |
| Linea 86: | Linea 81: |
| ##Fare riferimento alla [[AmbienteGrafico/DisplayManager/GDM|seguente guida]]. -> Guida da scrivere; | <<Anchor(estensioni)>> = Estensioni = |
| Linea 88: | Linea 84: |
| = Cambiare il tema di avvio e di arresto = | Le estensioni consentono di apportare molteplici modifiche e/o funzionalità aggiuntive. Possono essere sviluppate anche da terze parti. Si riportano in questa sede: |
| Linea 90: | Linea 86: |
| Fare riferimento alla [[AmbienteGrafico/Plymouth|seguente guida]]. | * '''Ubuntu Dock''': consultare [[#GNOMEpredefinito|questo paragrafo]]. * '''Menu delle applicazioni''': permette di visualizzare il menu in modalità '''[[AmbienteGrafico/Gnome/Flashback#Primo_avvio|GNOME Classico]]'''. * '''Indicatore Posizioni''': permette di visualizzare il menu di accesso rapido alle cartelle. * '''Indicatore degli spazi di lavoro''' * '''Lista delle finestre''': abilita la visualizzazione delle finestre attive tramite hotcorner. Alcune estensioni sono già preinstallate, altre possono essere installate dall'utente. Possono essere disponibili: * tramite pacchetto (se presenti nei [[Repository|repository]]), quindi installabili come un qualsiasi programma. * 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]] * [[https://addons.opera.com/en/extensions/details/gnome-shell-integration/|Opera]] Una volta installate le estensioni sono gestibili e configurabili dallo '''[[#gnome-tweak-tool|Strumento di personalizzazione]]''', all'interno della relativa sezione. ||<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. Per qualsiasi problema problema fare riferimento alle pagine dei singoli progetti.''' || |
| Linea 95: | Linea 106: |
| * '''Sessione predefinita''': per abilitare la sessione di GNOME predefinita senza le personalizzazioni di Ubuntu [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-session|gnome-session]]. | Per abilitare la sessione di GNOME predefinita in versione "[[https://en.wikipedia.org/wiki/Vanilla_software|vanilla]]", ossia senza le personalizzazioni di Ubuntu: |
| Linea 97: | Linea 108: |
| * '''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]]. | 0. [[AmministrazioneSistema/InstallareProgrammi|Installare]] il pacchetto [[apt://gnome-session|gnome-session]]. 0. Terminare la sessione corrente (logout) e accedere alla sessione '''GNOME'''. Queste saranno alcune delle principali differenze (comunque modificabili successivamente): * Assenza delle estensioni Ubuntu Dock e !AppIndicator; * Set di icone e temi Adwaita; * Font Cantarell font; * Nelle finestre sarà presente il solo tasto di chiusura; * Presenza dell‘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 la dock, se assente, [[AmministrazioneSistema/InstallareProgrammi|installare]] il pacchetto [[apt://gnome-shell-extension-ubuntu-dock|gnome-shell-extension-ubuntu-dock]].<<BR>>Per disabilitarla [[AmministrazioneSistema/InstallareProgrammi|disinstallare]] il medesimo pacchetto. * '''Funzione Minimize on click''': tramite '''[[#dconf|dconf Editor]]''' è possibile abilitare la funzione che permette di minimizzare una finestra cliccando semplicemente sulla relativa icona nella dock. A tal fine seguire uno di questi metodi: * [[AmbienteGrafico/AvviareProgrammi|Avviare]] lo strumento e seguire i seguenti passaggi: 0. Selezionare il percorso '''''org → gnome → shell → extensions → dash-to-dock'''''. 0. Deselezionare '''Use default value'''. 0. Selezionare '''minimize''' o '''minimize-or-overview''' nel campo '''Custom value'''. * Digitare il seguente comando in un [[AmministrazioneSistema/Terminale|terminale]]: {{{ gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize' }}} |
| Linea 102: | Linea 136: |
| * [[http://wiki.gnome.org/GnomeTweakTool|Gnome Tweak Tool]] | * [[https://wiki.gnome.org/Apps/GnomeTweakTool|Gnome Tweak Tool]] |
Problemi in questa pagina? Segnalali in questa discussione
Introduzione
Questa guida descrive come personalizzare GNOME 3.
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.
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.
Tema di avvio e arresto del sistema
Fare riferimento alla seguente guida.
Strumento di personalizzazione
È un comodo strumento che permette di gestire e personalizzare GNOME.
Se assente installare il pacchetto gnome-tweak-tool.
Per accedere al programma avviare Strumento di personalizzazione. Di seguito sono elencate alcune sezioni di particolare interesse.
|
Alcune sezioni potrebbero essere presenti o differenti a seconda della versione di GNOME in uso. |
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
|
Lo strumento di personalizzazione visualizzerà anche eventuali temi installati dall'utente. |
|
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.
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.
Editor di configurazione
Questo strumento permette di apportare modifiche a livello più avanzato.
Se assente è possibile ottenerlo installando il pacchetto dconf-editor.
Estensioni
Le estensioni consentono di apportare molteplici modifiche e/o funzionalità aggiuntive. Possono essere sviluppate anche da terze parti. 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 di accesso rapido alle cartelle.
Indicatore degli spazi di lavoro
Lista delle finestre: abilita la visualizzazione delle finestre attive tramite hotcorner.
Alcune estensioni sono già preinstallate, altre possono essere installate dall'utente. Possono essere disponibili:
tramite pacchetto (se presenti nei repository), quindi installabili come un qualsiasi programma.
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:
Una volta installate le estensioni sono gestibili e configurabili dallo Strumento di personalizzazione, all'interno della relativa sezione.
|
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 problema fare riferimento alle pagine dei singoli progetti. |
Sessione predefinita di GNOME (Ubuntu 17.10)
Per abilitare la sessione di GNOME predefinita in versione "vanilla", ossia senza le personalizzazioni di Ubuntu:
Installare il pacchetto gnome-session.
Terminare la sessione corrente (logout) e accedere alla sessione GNOME.
Queste saranno alcune delle principali differenze (comunque modificabili successivamente):
Assenza delle estensioni Ubuntu Dock e AppIndicator;
- Set di icone e temi Adwaita;
- Font Cantarell font;
- Nelle finestre sarà presente il solo tasto di chiusura;
Presenza dell‘hot corner Attività.
Ubuntu Dock (Ubuntu 17.10)
La dock è lo strumento preinstallato di Ubuntu che permette una serie di funzionalità.
Installazione: per abilitare la dock, se assente, installare il pacchetto gnome-shell-extension-ubuntu-dock.
Per disabilitarla disinstallare il medesimo pacchetto.Funzione Minimize on click: tramite dconf Editor è possibile abilitare la funzione che permette di minimizzare una finestra cliccando semplicemente sulla relativa icona nella dock. A tal fine seguire uno di questi metodi:
Avviare lo strumento e seguire i seguenti passaggi:
Selezionare il percorso org → gnome → shell → extensions → dash-to-dock.
Deselezionare Use default value.
Selezionare minimize o minimize-or-overview nel campo Custom value.
Digitare il seguente comando in un terminale:
gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize'
