Gnome quali estensioni per migliorare aspetto grafico

Configurazione e uso delle applicazioni del desktop manager predefinito a partire dalla versione 18.04 di Ubuntu.
andreaubu81
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

Messaggio da andreaubu81 »

Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
ivantu
Rampante Reduce
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

Messaggio da ivantu »

stai cercandone una di particolare?
Qui trovi tutto per Gnome stella

https://extensions.gnome.org/
Buona giornata utenti del forum. :ciao: ivantu
Avatar utente
DD3my
Gruppo Documentazione
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

Messaggio da DD3my »

andreaubu81 ha scritto:
venerdì 13 gennaio 2023, 15:58
Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
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.

Regards
andreaubu81
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

Messaggio da andreaubu81 »

DD3my ha scritto:
sabato 14 gennaio 2023, 15:35
andreaubu81 ha scritto:
venerdì 13 gennaio 2023, 15:58
Buongiorno, volevo sapere quali sono le estensioni da installare per migliorare l'aspetto grafico tramite Gnome shell.
grazie
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.

Regards
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?
ivantu
Rampante Reduce
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

Messaggio da ivantu »

Per installare i temi di Gnome, e per essere visualizzati dai Tools:
Queste sono le directory

- di sistema: /usr/share/themes
- dell'utente: ~/.themes.
Buona giornata utenti del forum. :ciao: ivantu
Avatar utente
GjMan78
Rampante Reduce
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

Messaggio da GjMan78 »

Non è l'estensione user themes che ti permette di cambiare tema.

Devi installare anche gnome tweaks (che trovi nel menu come "Personalizzazioni")

Immagine
MacBook Pro - Intel i5-3210 - 16 Gbyte Ram DDR3 - SSD 500 Gbyte x 2
»»» 𝗙𝗮𝗶 𝗶𝗹 𝗕𝗮𝗰𝗸𝘂𝗽! ¯\_(ツ)_/¯
Scrivi risposta

Ritorna a “GNOME”

Chi c’è in linea

Visualizzano questa sezione: 0 utenti iscritti e 1 ospite