Gnome quali estensioni per migliorare aspetto grafico
-
- Prode Principiante
- Messaggi: 136
- Iscrizione: sabato 7 gennaio 2023, 10:55
- Desktop: ubuntu
- Distribuzione: 22.04.1 lts
- Sesso: Maschile
Gnome quali estensioni per migliorare aspetto grafico
Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
grazie
-
- Rampante Reduce
- Messaggi: 6658
- Iscrizione: sabato 8 giugno 2013, 9:25
- Desktop: Ubuntu Lubuntu Budgie
- Distribuzione: 20.04 LTS; 22.04 LTS
- Sesso: Maschile
Re: Gnome quali estensioni per migliorare aspetto grafico
Buona giornata utenti del forum. ivantu
- DD3my
- Gruppo Documentazione
- Messaggi: 176
- Iscrizione: lunedì 16 aprile 2018, 22:16
- Desktop: Ubuntu
- Distribuzione: Ubuntu 18.04 LTS
- Sesso: Maschile
- Località: Sardinia
- Contatti:
Re: Gnome quali estensioni per migliorare aspetto grafico
Ciao @andreaubu81 se vuoi personalizzare la tua interfaccia, ti consiglio di dare un occhiata qui, https://wiki.ubuntu-it.org/AmbienteGraf ... OME_Tweaks. Con GNOME Tweaks ha la possibilità di modificare l'aspetto, i tipi di carattere la barra titolo della finestra e i vari spazi di lavoro etc.andreaubu81 ha scritto: ↑venerdì 13 gennaio 2023, 15:58Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
Regards
-
- Prode Principiante
- Messaggi: 136
- Iscrizione: sabato 7 gennaio 2023, 10:55
- Desktop: ubuntu
- Distribuzione: 22.04.1 lts
- Sesso: Maschile
Re: Gnome quali estensioni per migliorare aspetto grafico
quello che non sono riuscito a fare è modificare la gnome shell, ad esempio scarico un tema, poi la cartella del tema dove la devo inserire per fare in modo che da estensioni --> user themes mi legge il tema?DD3my ha scritto: ↑sabato 14 gennaio 2023, 15:35Ciao @andreaubu81 se vuoi personalizzare la tua interfaccia, ti consiglio di dare un occhiata qui, https://wiki.ubuntu-it.org/AmbienteGraf ... OME_Tweaks. Con GNOME Tweaks ha la possibilità di modificare l'aspetto, i tipi di carattere la barra titolo della finestra e i vari spazi di lavoro etc.andreaubu81 ha scritto: ↑venerdì 13 gennaio 2023, 15:58Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
Regards
-
- Rampante Reduce
- Messaggi: 6658
- Iscrizione: sabato 8 giugno 2013, 9:25
- Desktop: Ubuntu Lubuntu Budgie
- Distribuzione: 20.04 LTS; 22.04 LTS
- Sesso: Maschile
Re: Gnome quali estensioni per migliorare aspetto grafico
Per installare i temi di Gnome, e per essere visualizzati dai Tools:
Queste sono le directory
- di sistema: /usr/share/themes
- dell'utente: ~/.themes.
Queste sono le directory
- di sistema: /usr/share/themes
- dell'utente: ~/.themes.
Buona giornata utenti del forum. ivantu
- GjMan78
- Rampante Reduce
- Messaggi: 5404
- Iscrizione: mercoledì 22 novembre 2006, 19:15
- Desktop: KdePlasma
- Distribuzione: EndeavourOS
- Sesso: Maschile
- Località: ~/Italia/Lazio/Viterbo/
Re: Gnome quali estensioni per migliorare aspetto grafico
Non è l'estensione user themes che ti permette di cambiare tema.
Devi installare anche gnome tweaks (che trovi nel menu come "Personalizzazioni")
Devi installare anche gnome tweaks (che trovi nel menu come "Personalizzazioni")
MacBook Pro - Intel i5-3210 - 16 Gbyte Ram DDR3 - SSD 500 Gbyte x 2
»»» 𝗙𝗮𝗶 𝗶𝗹 𝗕𝗮𝗰𝗸𝘂𝗽! ¯\_(ツ)_/¯
»»» 𝗙𝗮𝗶 𝗶𝗹 𝗕𝗮𝗰𝗸𝘂𝗽! ¯\_(ツ)_/¯
Chi c’è in linea
Visualizzano questa sezione: 0 utenti iscritti e 1 ospite