Gnome shell integration per firefox su Ubuntu
- RoadCat
- Scoppiettante Seguace
- Messaggi: 537
- Iscrizione: domenica 16 novembre 2014, 12:54
- Distribuzione: Ubuntu 23.04
Gnome shell integration per firefox su Ubuntu
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?
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?
- ralf9000
- Scoppiettante Seguace
- Messaggi: 933
- Iscrizione: venerdì 17 febbraio 2012, 16:54
- Desktop: Gnome
- Distribuzione: Ubuntu 22.04 LTS
- Sesso: Maschile
- Località: LV-426
Re: Gnome shell integration per firefox su Ubuntu
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.
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.
"È uno che si gode la vita, come tutti quelli a cui è risparmiata la maledizione dell'intelligenza."
H.P. Lovercraft
H.P. Lovercraft
- woddy68
- Rampante Reduce
- Messaggi: 8632
- Iscrizione: sabato 12 febbraio 2011, 14:23
- Desktop: Kde Plasma5
- Distribuzione: openSUSE Tumbleweed - KDE Neon
- Sesso: Maschile
Re: Gnome shell integration per firefox su Ubuntu
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...
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...
Desktop - DELL Optiplex 7010 - Notebook HP 250
-Ho sempre accettato caramelle dagli sconosciuti-
-Ho sempre accettato caramelle dagli sconosciuti-
- iononsbalgiomai
- Rampante Reduce
- Messaggi: 7398
- Iscrizione: martedì 29 novembre 2011, 15:50
Re: Gnome shell integration per firefox su Ubuntu
RoadCat ha scritto: ↑lunedì 28 giugno 2021, 11:24Ciao 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:
Fonte: https://extensions.gnome.org/about/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.
Non aprire una discussione se prima non hai cercato una soluzione nel Wiki né fatto una ricerca nel forum
- trekfan1
- Moderatore Globale
- Messaggi: 23359
- Iscrizione: domenica 21 maggio 2006, 10:51
- Desktop: Gnome
- Distribuzione: Ubuntu 23.10 e 24.04 (dev)
- Sesso: Maschile
- Località: Formigine (MO) | Accecante Asceta
Re: Gnome shell integration per firefox su Ubuntu
Il pacchetto si chiama chrome-gnome-shell e non c'entra nulla con l'omonimo browser di google
Regolamento del Forum Il forum di StarTrek in italia Gruppo Seti Script per il [Risolto] Rufus Multiboot Linux/Linux Seriale Win8/8.1/10 da Linux PPA amule 20.04
Da Regolamento è VIETATO chiedere supporto con i messaggi privati!!
Da Regolamento è VIETATO chiedere supporto con i messaggi privati!!
- RoadCat
- Scoppiettante Seguace
- Messaggi: 537
- Iscrizione: domenica 16 novembre 2014, 12:54
- Distribuzione: Ubuntu 23.04
Re: Gnome shell integration per firefox su Ubuntu
Purtroppo non è quello a cui mi riferisco
Grazie, mi chiedevo come mai questa cosa passi da browser, in particolare il tema principale della shellwoddy68 ha scritto: ↑lunedì 28 giugno 2021, 11:37Gnome 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...
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, 12:19RoadCat ha scritto: ↑lunedì 28 giugno 2021, 11:24Ciao 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:Fonte: https://extensions.gnome.org/about/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.
Ah ma non c'entra nulla? c'è anche per firefox, ed è una estensione per browser. A quanto ho capito sono alternative equivalenti
- iononsbalgiomai
- Rampante Reduce
- Messaggi: 7398
- Iscrizione: martedì 29 novembre 2011, 15:50
Re: Gnome shell integration per firefox su Ubuntu
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.
Non aprire una discussione se prima non hai cercato una soluzione nel Wiki né fatto una ricerca nel forum
- RoadCat
- Scoppiettante Seguace
- Messaggi: 537
- Iscrizione: domenica 16 novembre 2014, 12:54
- Distribuzione: Ubuntu 23.04
Re: Gnome shell integration per firefox su Ubuntu
Si ma se non si abilita quella estensione di cui parlo nel primo post, la voce di gnome tweaks relativa al tema della shell non è modificabileiononsbalgiomai ha scritto: ↑lunedì 28 giugno 2021, 17:43Infatti 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.
- iononsbalgiomai
- Rampante Reduce
- Messaggi: 7398
- Iscrizione: martedì 29 novembre 2011, 15:50
Re: Gnome shell integration per firefox su Ubuntu
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?
Hai per caso installato qualche estensione di Gnome per abilitarla?
Non aprire una discussione se prima non hai cercato una soluzione nel Wiki né fatto una ricerca nel forum
- dxgiusti
- Rampante Reduce
- Messaggi: 5372
- Iscrizione: lunedì 19 novembre 2007, 14:10
- Desktop: Mate
- Distribuzione: PCLinuxOS-Mate
- Sesso: Maschile
- Località: Lodi
Re: Gnome shell integration per firefox su Ubuntu
ubuntu 20.04 devi installare:
adesso puoi scaricarti i temi che più ti aggradano ed installarli da >>> personalizzazioni/aspetto
ora riavvia la sessione. apri personalizzazioni, estensioni ed abilita >>> user themes.sudo apt install gnome-shell-extensions -y
adesso puoi scaricarti i temi che più ti aggradano ed installarli da >>> personalizzazioni/aspetto
- RoadCat
- Scoppiettante Seguace
- Messaggi: 537
- Iscrizione: domenica 16 novembre 2014, 12:54
- Distribuzione: Ubuntu 23.04
Re: Gnome shell integration per firefox su Ubuntu
Io ho installato questo per il browser. Su un altro pc con ubuntu 18.04 non funzionava se non installavo anche il pacchetto da terminale chrome-gnome-shell.iononsbalgiomai ha scritto: ↑lunedì 28 giugno 2021, 20:24Io 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?
Chi c’è in linea
Visualizzano questa sezione: 0 utenti iscritti e 2 ospiti