[Revisione] Gnome/CambiareTema

[xavier77]

Ciao Xavier,
ho dato un'occhiata alla pagina di prova e mi pare OK, quindi ho provveduto a spostare il contenuto in AmbienteGrafico/Gnome/Personalizzazione
Ho solo spostato il paragrafo "Sessione predefinita di GNOME (Ubuntu 17.10)" nella pagina AmbienteGrafico/Gnome/Installazione e già che c'ero ho dato una sistemata anche a questa pagina. Non avevo visto la tua pagina di prova andreas-xavier/Prova1, appena riesco faccio un "merge" dei contenuti in Gnome/Installazione
P.s: pare che i PPA di gnome siano da considerarsi obsoleti, come scritto su LP: https://launchpad.net/~gnome3-team/+arc ... ntu/gnome3

Perfetto, ottimo lavoro
Ho fatto un paio di piccolissime modifiche, fra cui il reinserimento di un paragrafo per la versione di GNOME "vanilla", che rimanda però alla pagina di installazione (mi aspetterei che un ipotetico utente che voglia avere GNOME "come mamma l'ha fatto" cerchi info sulla pagina della personalizzazione).

[Janvitus]

Potreste aggiungere alla pagina che le estensioni della Shell possono essere installate da GNOME(Ubuntu)-Software senza passare per forza dal browser e senza far installare nient'altro? Nei risultati di una qualsiasi ricerca in Software escono anche le estensioni presenti sul sito apposito e installabili come una qualsiasi applicazione.

[Staffo]

Potreste aggiungere alla pagina che le estensioni della Shell possono essere installate da GNOME(Ubuntu)-Software senza passare per forza dal browser e senza far installare nient'altro? Nei risultati di una qualsiasi ricerca in Software escono anche le estensioni presenti sul sito apposito e installabili come una qualsiasi applicazione.

Buona a sapersi
Aggiunte le info nella pagina AmbienteGrafico/Gnome/Personalizzazione, paragrafo "Estensioni". Se serve fai pure tutti gli aggiustamenti del caso Janvitus.

Ciao e grazie

[Janvitus]

Io cambierei con una cosa del genere:

tramite Software (senza Ubuntu), selezionando Estensioni > Estensioni Shell si dovrebbe avere una lista delle estensioni da installare (solo Ubuntu al momento non la visualizza..), alternativamente si possono cercare con la funzione apposita.

[xavier77]

Io cambierei con una cosa del genere:

tramite Software (senza Ubuntu), selezionando Estensioni > Estensioni Shell si dovrebbe avere una lista delle estensioni da installare (solo Ubuntu al momento non la visualizza..), alternativamente si possono cercare con la funzione apposita.

Domanda banale: perché cambiare "tramite pacchetto" con "tramite Software"? Cioè se le cerco e installo con Synaptic o con terminale non va bene? Non capisco...
Se Software presenta un qualche vantaggio (come una lista), io un'info così la metterei come suggerimento. Ovviamente IMHO.

[Staffo]

Io cambierei con una cosa del genere:

tramite Software (senza Ubuntu), selezionando Estensioni > Estensioni Shell si dovrebbe avere una lista delle estensioni da installare (solo Ubuntu al momento non la visualizza..), alternativamente si possono cercare con la funzione apposita.

Domanda banale: perché cambiare "tramite pacchetto" con "tramite Software"? Cioè se le cerco e installo con Synaptic o con terminale non va bene? Non capisco...
Se Software presenta un qualche vantaggio (come una lista), io un'info così la metterei come suggerimento. Ovviamente IMHO.

Nemmeno sapevo esistesse la sezione "estensioni" di (Ubuntu) Software! Vedete quante cose si imparano
E ho effetivamente visto che non vengono visualizzare le estensioni in quella sezione, immagino un bug. Non ho trovato alcuna segnalazione in merito, devo segnalare il problema o avete trovato qualcosa a riguardo?

Per quel che riguarda i pacchetti invece, credo che solo alcune estensioni siano presenti nei repository di ubuntu e che la maggior parte venga installata direttamente da "extensions.gnome.org". Se si guarda nella pagina descrittiva di molte di esse infatti, si può leggere: "Sorgente: extensions.gnome.org" invece del classico "Sorgente: ubuntu-artful-universe".

"Credo" che Gnome Software (e quindi Ubuntu Software) sia in grado di gestire le sorgenti non solo dai repo di artful e dallo Snap store, ma anche da extensions.gnome.org. Ma potrei sbagliarmi! Qualcuno può confermare?

Se così fosse, i classici gestori di pacchetti come Synaptic non potrebbero elencare tutte le estensioni, ma solo quelle presenti nei repo di Ubuntu.

[Janvitus]

Io cambierei con una cosa del genere:

tramite Software (senza Ubuntu), selezionando Estensioni > Estensioni Shell si dovrebbe avere una lista delle estensioni da installare (solo Ubuntu al momento non la visualizza..), alternativamente si possono cercare con la funzione apposita.

Domanda banale: perché cambiare "tramite pacchetto" con "tramite Software"? Cioè se le cerco e installo con Synaptic o con terminale non va bene? Non capisco...
Se Software presenta un qualche vantaggio (come una lista), io un'info così la metterei come suggerimento. Ovviamente IMHO.

Beh, pensavo di essere stato chiaro; da Software è possibile vedere un elenco, cercare e installare le estensioni della Shell che sono o non sono nei repo della distribuzione, in pratica può installare le estensioni direttamente da https://extensions.gnome.org/ senza passare da un browser e senza far installare cose supplementari come chrome-gnome-shell. Vedere allegati.

"Credo" che Gnome Software (e quindi Ubuntu Software) sia in grado di gestire le sorgenti non solo dai repo di artful e dallo Snap store, ma anche da extensions.gnome.org. Ma potrei sbagliarmi! Qualcuno può confermare?

Te l'ho scritto io e te lo confermo

Nemmeno sapevo esistesse la sezione "estensioni" di (Ubuntu) Software! Vedete quante cose si imparano
E ho effetivamente visto che non vengono visualizzare le estensioni in quella sezione, immagino un bug. Non ho trovato alcuna segnalazione in merito, devo segnalare il problema o avete trovato qualcosa a riguardo?

In effetti credo sia un bug, oppure è voluto, non so, ma sulle altre distro vengono elencate...


Un paio di note: sarebbe meglio scrivere solo Software nelle pagine perché l'applicazione si chiama solo così, basta vedere nella dock. Poi aggiungerei, nella parte browser, che le estensioni possono essere gestite anche (io scriverei soprattutto ma capisco che il browser predefinito è Firefox) da Epiphany/Web senza bisogno di installare niente.

[Staffo]

E ho effettivamente visto che non vengono visualizzare le estensioni in quella sezione, immagino un bug. Non ho trovato alcuna segnalazione in merito, devo segnalare il problema o avete trovato qualcosa a riguardo?

In effetti credo sia un bug, oppure è voluto, non so, ma sulle altre distro vengono elencate...

No dai, sicuramente non è voluto. È già stato segnalato (e corretto in bionic, per artful credo dovremo aspettare): https://bugs.launchpad.net/ubuntu/+sour ... ug/1722809

Un paio di note: sarebbe meglio scrivere solo Software nelle pagine perché l'applicazione si chiama solo così, basta vedere nella dock. Poi aggiungerei, nella parte browser, che le estensioni possono essere gestite anche (io scriverei soprattutto ma capisco che il browser predefinito è Firefox) da Epiphany/Web senza bisogno di installare niente.

Ho aggiunto le info su Epiphany. Per quanto riguarda Software, se non ricordo male sulla 16.04 viene ancora definito "Ubuntu Software", quindi per il momento lascerei così. Se mi sbaglio si corregge, ovviamente.

[Janvitus]

No dai, sicuramente non è voluto. È già stato segnalato (e corretto in bionic, per artful credo dovremo aspettare): https://bugs.launchpad.net/ubuntu/+sour ... ug/1722809

No, il bug è già stato risolto e credo che il pacchetto nuovo sia nei proposed. Però è interessante notare come la stessa applicazione funzioni bene in una distro e abbia un bug in un'altra...

[Marilù3]

Ciao,
sto usando Ubuntu 16.04 e il pacchetto Ubuntu Dock nelle estensioni non esiste.

Se provo a dare sul terminale
gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize'
mi risponde
Schema "org.gnome.shell.extensions.dash-to-dock" inesistente.

[xavier77]

Ciao,
sto usando Ubuntu 16.04 e il pacchetto Ubuntu Dock nelle estensioni non esiste.

Se provo a dare sul terminale
gsettings set org.gnome.shell.extensions.dash-to-dock click-action 'minimize'
mi risponde
Schema "org.gnome.shell.extensions.dash-to-dock" inesistente.

Da una primissima ricerca su internet non mi pare che esista per Ubuntu 16.04 e/o per quella versione di GNOME.
E la cosa non mi insospettirebbe, visto che è nato per Ubuntu 17.10 e successive.
Ovviamente chi abbia maggiori informazioni è benvenuto.

PS: non è la discussione adatta al supporto, ma prova con dash to dock, da cui appunto Ubuntu dock deriva.

[jeremie2]

Riorganizzata la pagina AmbienteGrafico/Gnome/Personalizzazione

Ho cercato inoltre di contestualizzare l'utilizzo dei vari tweak tool ed estensioni anche agli occhi di nuovi utenti che non conoscono GNOME e alcune scelte drastiche nel design che lo contraddistingue. Spero di aver reso l'idea e di essere riuscito a scrivere in modo neutrale.

Al solito intervenite pure per correzioni suggerimenti