Forum Ubuntu-it

RoadCat ha scritto: ↑

lunedì 28 giugno 2021, 11:24

Ciao a tutti!
La mia è più una domanda di curiosità. Cercando su internet ho visto che per poter cambiare il tema della shell di gnome su ubuntu è necessario installare la "Gnome shell integration" per firefox o per chrome, e mi stavo chiedendo secondo quale principio funzionasse questa cosa. Cioè, cosa c'entra firefox con la shell di gnome? Come può una estensione del browser abilitare la modifica della shell? è una operazione "sicura"? Ubuntu non la abilita per incentivare il suo tema? Qualcuno potrebbe spiegarmelo in maniera semplice?

Are GNOME Shell Extensions safe?

The code in a GNOME Shell extension becomes part of the core operating system. For this reason, the potential exists for an extension to cause system misbehavior, crashes, or even to have malicious behavior like spying on the user or displaying unwanted advertisements. All extensions uploaded to this site are carefully reviewed for malicious behavior before they are made available for download. This process of code review is similar to the process for Firefox add-ons submitted to addons.mozilla.org.

If you encounter problems with an extension, such as a crash, make sure to report the problem using the Bug Report link on the extension's page.

ralf9000 ha scritto: ↑

lunedì 28 giugno 2021, 11:35

Ciao, se sbaglio qualcuno mi correggerà.
Ma credo che "gnome shell integration" serva per rendere coerente (integrare, appunto) il tema di firefox (o chrome) con il tema della shell di gnome. Non per cambiare tema della shell.

woddy68 ha scritto: ↑

lunedì 28 giugno 2021, 11:37

Gnome utilizza per la personalizzazione il meccanismo delle estensioni di terze parti, che possono essere installate e abilitate da browser tramite un'estensione del browser stesso.
E' sicuro ? Penso di si, non so dirti quanto...tieni presente che sono comunque estensioni di terze parti, quindi logica vuole un po' di prudenza, tuttavia non ho sentito di attacchi...

iononsbalgiomai ha scritto: ↑

lunedì 28 giugno 2021, 12:19

RoadCat ha scritto: ↑

lunedì 28 giugno 2021, 11:24

Ciao a tutti!
La mia è più una domanda di curiosità. Cercando su internet ho visto che per poter cambiare il tema della shell di gnome su ubuntu è necessario installare la "Gnome shell integration" per firefox o per chrome, e mi stavo chiedendo secondo quale principio funzionasse questa cosa. Cioè, cosa c'entra firefox con la shell di gnome? Come può una estensione del browser abilitare la modifica della shell? è una operazione "sicura"? Ubuntu non la abilita per incentivare il suo tema? Qualcuno potrebbe spiegarmelo in maniera semplice?

Immagino tu ti riferisca a questa.
Si tratta di un'estensione che permette di installare e gestire le estensioni per Gnome Shell presenti sul sito https://extensions.gnome.org direttamente dal sito. Non è un'esclusiva di Ubuntu, si usa anche con Arch, Debian, Fedora e Gentoo.

Per quanto concerne la sicurezza:

Are GNOME Shell Extensions safe?

The code in a GNOME Shell extension becomes part of the core operating system. For this reason, the potential exists for an extension to cause system misbehavior, crashes, or even to have malicious behavior like spying on the user or displaying unwanted advertisements. All extensions uploaded to this site are carefully reviewed for malicious behavior before they are made available for download. This process of code review is similar to the process for Firefox add-ons submitted to addons.mozilla.org.

If you encounter problems with an extension, such as a crash, make sure to report the problem using the Bug Report link on the extension's page.

Fonte: https://extensions.gnome.org/about/

trekfan1 ha scritto: ↑

lunedì 28 giugno 2021, 13:10

Il pacchetto si chiama chrome-gnome-shell e non c'entra nulla con l'omonimo browser di google

RoadCat ha scritto: ↑

lunedì 28 giugno 2021, 16:38

Eattamente è quello a cui mi riferivo. Ma perché il cambio tema della shell deve passare da una estensione? Non è una funzionalità ufficialmente supportata da gnome?

iononsbalgiomai ha scritto: ↑

lunedì 28 giugno 2021, 17:43

RoadCat ha scritto: ↑

lunedì 28 giugno 2021, 16:38

Eattamente è quello a cui mi riferivo. Ma perché il cambio tema della shell deve passare da una estensione? Non è una funzionalità ufficialmente supportata da gnome?

Infatti quell'estensione non c'entra con i temi, che si scaricano da www.gnome-look.org. Vanno scaricati e decompressi nella cartella /usr/share/themes/. Poi si gestiscono con l'applicazione Personalizzazioni (alias Gnome Tweek Tool). Se non c'è l'hai installata la trovi in Ubuntu Software.

N.B.: Su Ubuntu 20.04 funzionano solo i temi provvisti del file index.theme.

sudo apt install gnome-shell-extensions -y

iononsbalgiomai ha scritto: ↑

lunedì 28 giugno 2021, 20:24

Io ho sia l'estensione su Firefox che Gnome Tweak, ma l'opzione per la shell è comunque disabilitata.

Hai per caso installato qualche estensione di Gnome per abilitarla?