[Desktop] [HOW TO] gnome shell ed extensions piccola guida

Personalizzazione grafica del sistema: icone, temi, sfondi, suoni, eccetera.
daigo

[Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

installa gnome shell:

Codice: Seleziona tutto

sudo apt-get install gnome-shell
o software center

installa gnome tweak tool:

Codice: Seleziona tutto

sudo apt-get install gnome-tweak-tool
o software center

installa questo repository per le shell extensions:

Codice: Seleziona tutto

sudo add-apt-repository ppa:webupd8team/gnome3

Codice: Seleziona tutto

sudo apt-get update
installa le varie extensions:

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-common
(questa serve come dipendenza per tutte le altre)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-user-theme
(questa permette di cambiare i temi della shell con quelli scaricati, che vanno scompattati nella cartella .themes da creare nella home la vedi abilitando nella home i file nascosti dal menu o control+h)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-weather 
(con questa visualizzi le previsioni del tempo nel pannello,una volta avviata basta cliccare sull'extension nel pannello/preferenze/alla voce enter WOEID:incollare il proprio zip code e dare invio, preso per esempio da weather channel,zip code è il codice alfanumerico che si riferisce alla nostra località)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-apps-menu
(aggiunge un menu delle applicazioni nel pannello)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-alternative-status-menu
(aggiunge la voce spegni al menu utente)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-places-menu
(aggiunge un menu al pannello per le cartelle documenti, immagini,musica ecc.)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-mediaplayer
(estensione per il player musicale banshee,visualizza e gestisce dal pannello la musica che si sta ascoltando)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-dock
(aggiunge una dock bar sul desktop senza passare da attività ed è configurabile con dconf-editor in posizione destra o sinistra dello schermo,dimensione e autohide)installare dconf-tools:

Codice: Seleziona tutto

sudo apt-get install dconf-tools
e da terminale

Codice: Seleziona tutto

dconf-editor
poi nella cartella che si apre org/gnome/shell/extensions/dock

Codice: Seleziona tutto

sudo apt-get install mgse-menu
(aggiunge menu classico nel pannello)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-autohidetopbar
(nasconde automaticamente il pannello di gnome shell)

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-windowoverlay-icons
(visualizza icona della finestre aperte in modalità attività)





le extensions si possono installare anche manualmente dal gestore pacchetti

Codice: Seleziona tutto

sudo apt-get install synaptic
o software center,dove ne sono presenti altre, queste sono quelle che uso io.
una volta installate si deve terminare la sessione e riloggarsi o alt+f2+r,avviare gnome tweak tool e da li abilitarle alla voce estensioni della shell.

spero che sia utile, ovviamente la discussione è aperta a tutte le idee.ciao.

IMPORTANTE: continuate a leggere il topic, nelle pagine a seguire cè una preziosa iniziativa dell'utente robytrevi,segnalazione e test delle extensions trovate in rete (good)
Ultima modifica di daigo il domenica 13 novembre 2011, 9:13, modificato 1 volta in totale.
tempesta74
Prode Principiante
Messaggi: 246
Iscrizione: giovedì 26 febbraio 2009, 1:40

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da tempesta74 »

daigo ha scritto: installa le varie extensions:

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extension-common
(questa serve come dipendenza per tutte le altre)
hai saltato una "s"...
il codice esatto è:

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-common
Ubuntu User #31836
Avatar utente
jackolo
Prode Principiante
Messaggi: 154
Iscrizione: venerdì 22 agosto 2008, 15:27
Località: Novi Ligure
Contatti:

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da jackolo »

Bella  e utile guida daigo, ti ringrazio, l'estensione per il meteo non l'avevo ancora trovata, installata al volo e funziona benissimo.

Grazie ancora ciao ciao

P.s. : funziona benissimo sul notebook a casa, ma sul netbook che ho al lavoro mi dice :

"[glow=yellow,2,300]errore sconosciuto dell'estensione[/glow]" quando apro impostazioni avanzate, ho provato a reinstallare il tutto piu' volte ma niente, riprovero' ancora vediamo se riesco ad installarla.
Ultima modifica di jackolo il domenica 30 ottobre 2011, 7:53, modificato 1 volta in totale.
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

@tempesta74, ho corretto l'errore
sirwines
Prode Principiante
Messaggi: 82
Iscrizione: lunedì 8 dicembre 2008, 19:15
Desktop: Xfce 4.10 - AwesomeWM
Distribuzione: Archlinux 64bit

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da sirwines »

mi da errore sulla estension del mediaplayer

Codice: Seleziona tutto

sudo apt-get install gnome-shell-extensions-mediaplayer
Lettura elenco dei pacchetti... Fatto
Generazione albero delle dipendenze       
Lettura informazioni sullo stato... Fatto
E: Impossibile trovare il pacchetto gnome-shell-extensions-mediaplayer
Prima di essere migliore degli altri, devi provare ad essere migliore di te stesso
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

le altre le hai provate? vanno?l'unica cosa che mi viene in mente è di vedere se devi aggiornare i repository  ,prova a fare l'aggiornamento ,anche dal gestore pacchetti e poi vedi se la trovi
sirwines
Prode Principiante
Messaggi: 82
Iscrizione: lunedì 8 dicembre 2008, 19:15
Desktop: Xfce 4.10 - AwesomeWM
Distribuzione: Archlinux 64bit

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da sirwines »

al momento ne ho installate tre.. quella per avere "spegni" nel menu... quella per gestire i temi e quella con le "Places" e al momento funzionano

adesso ho installato anche quella delle "applicazione".. ma non è apparso nulla. In teoria dovrebbe funzionare..ma non c'è  >:(
Ultima modifica di sirwines il giovedì 3 novembre 2011, 13:17, modificato 1 volta in totale.
Prima di essere migliore degli altri, devi provare ad essere migliore di te stesso
Robert Lang

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da Robert Lang »

Io non riesco ad attivare le extensions (guardare la schermata sotto). Se posiziono il mouse sul punto esclamativo mi dice "errore sconosciuto delle extensions". Quale può essere il problema? Io ho seguito passo passo tutte le istruzioni
Allegati
Schermata del 2011-11-04 10:31:48.png
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

guarda,non so che dirti,ho due pc, un notebook abbastanza recente e un desktop datato, ma funziona tutto su entrambi.forse è un problema di driver, sul desktop avevo problemi di visualizzazione con gnome shell e driver proprietari ati e ho utilizzato i driver open.
Avatar utente
Squerez
Prode Principiante
Messaggi: 21
Iscrizione: venerdì 18 febbraio 2011, 14:45
Località: Sciacca

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da Squerez »

Ho eseguito tutti i comandi che tu hai riportato, ma ho qualche bug grafico nella shell. Come vedi mancano molte lettere nella schermata che ho postato e a seconda delle volte in cui avvio con GNOME la barra in alto mi spunta tutta verde e sgranata. (ho già aperto una discussione su questo mio problema)

Hai suggerimenti da darmi?

[img width=800 height=500]http://img266.imageshack.us/img266/1257/schermatadel20111105123.png[/img]
« La questione morale esiste da tempo, ma ormai essa è diventata la questione politica prima ed essenziale perché dalla sua soluzione dipende la ripresa di fiducia nelle istituzioni, la effettiva governabilità del paese e la tenuta del regime democratico. »
(Enrico Berlinguer, da un'intervista pubblicata su La Repubblica del 28 luglio 1981)
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

se hai driver ati proprietari prova a rimuoverli e usa quelli open, vedi questa discussione

http://forum.ubuntu-it.org/viewtopic.ph ... 0#p3806130
Robert Lang

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da Robert Lang »

daigo ha scritto: guarda,non so che dirti,ho due pc, un notebook abbastanza recente e un desktop datato, ma funziona tutto su entrambi.forse è un problema di driver, sul desktop avevo problemi di visualizzazione con gnome shell e driver proprietari ati e ho utilizzato i driver open.
Grazie lo stesso. Proverò a mettere driver open. :)
Avatar utente
Squerez
Prode Principiante
Messaggi: 21
Iscrizione: venerdì 18 febbraio 2011, 14:45
Località: Sciacca

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da Squerez »

daigo ha scritto: se hai driver ati proprietari prova a rimuoverli e usa quelli open, vedi questa discussione

http://forum.ubuntu-it.org/viewtopic.ph ... 0#p3806130
Ho effettuato i comandi che riporta l'utente che aveva avuto il problema nel link che ha mandato e adesso non risultano più bug grafici anche se il sistema si è rallentato un pò. Se hai qualche soluzione sarò felice di tentare a risolvere il problema.
E' normale che la barra in alto risulti tutta nera?  Grazie mille. :)
« La questione morale esiste da tempo, ma ormai essa è diventata la questione politica prima ed essenziale perché dalla sua soluzione dipende la ripresa di fiducia nelle istituzioni, la effettiva governabilità del paese e la tenuta del regime democratico. »
(Enrico Berlinguer, da un'intervista pubblicata su La Repubblica del 28 luglio 1981)
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

in questi due screenshot vedi il pannello di default(nero) e quello modificato con tema diverso
Allegati
Schermata del 2011-11-05 13:52:36.jpg
Schermata del 2011-11-05 13:52:21.jpg
Avatar utente
Squerez
Prode Principiante
Messaggi: 21
Iscrizione: venerdì 18 febbraio 2011, 14:45
Località: Sciacca

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da Squerez »

Ah ok :) GRAZIE
« La questione morale esiste da tempo, ma ormai essa è diventata la questione politica prima ed essenziale perché dalla sua soluzione dipende la ripresa di fiducia nelle istituzioni, la effettiva governabilità del paese e la tenuta del regime democratico. »
(Enrico Berlinguer, da un'intervista pubblicata su La Repubblica del 28 luglio 1981)
daigo

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da daigo »

volevo segnalare un'altra estensione dal repository webupd8

Codice: Seleziona tutto

sudo apt-get update

Codice: Seleziona tutto

sudo apt-get install mgse-menu
o installabile da gestore pacchetti
Allegati
Schermata del 2011-11-06 10:52:53.jpg
Avatar utente
jackolo
Prode Principiante
Messaggi: 154
Iscrizione: venerdì 22 agosto 2008, 15:27
Località: Novi Ligure
Contatti:

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da jackolo »

daigo ha scritto: volevo segnalare un'altra estensione dal repository webupd8

Codice: Seleziona tutto

sudo apt-get update

Codice: Seleziona tutto

sudo apt-get install mgse-menu
o installabile da gestore pacchetti
Grazie mille Daigo, bella estensione mi piace e poi mi sembra utile (almeno per me), grazie ancora ciao ciao
jerico
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 19127
Iscrizione: lunedì 21 luglio 2008, 23:43
Desktop: Gnome
Distribuzione: Archlinux

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da jerico »

iscritto!
Avatar utente
sixx
Imperturbabile Insigne
Imperturbabile Insigne
Messaggi: 2689
Iscrizione: mercoledì 12 dicembre 2007, 22:09
Desktop: Gnome 3
Distribuzione: Ubuntu 12.04 i686
Località: Empoli

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da sixx »

A me non me ne fungono alcune con il repo, specie mediaplayer :(

Infatti l'hai barrato :)

C'è modo di farlo funzionare?
Ultima modifica di sixx il mercoledì 9 novembre 2011, 20:28, modificato 1 volta in totale.
Non uso Ubuntu per la sua filosofia LOL, ma perchè mi diverte di più. Non se ne può più di "Guarda che open non vuol dire gratis, winzozz è closed e la mela è chiusa...ecc..." Basta. Moderate le rosicate :D
L'essere umano? il gradino più basso dell'umanità, si può osservare tutti i giorni.
Avatar utente
robytrevi
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 10901
Iscrizione: lunedì 10 marzo 2008, 14:12
Desktop: mate
Distribuzione: Xenial 32 bit
Località: Modena(provincia)

Re: [Desktop] [HOW TO] gnome shell ed extensions piccola guida

Messaggio da robytrevi »

Appena trovo il tempo la completo. Sono molte le extensions e non ricordo quali vanno e quali no, quindi le devo riprovare tutte (e ricordarmi cosa fanno e da dove le ho prese). Mediaplayer funzionava con la versione 3.2.0 ad esempio...
È meglio mettere i link alle varie estensioni o allegarle direttamente qui (quelle fuori dal repository)? Io metterei i link (anche se allegarle direttamente risulterebbe più comodo), cosa ne pensate?
Ubuntu 16.04 (Mate), Arch (Gnome-shell), Fedora21(gnome-shell), Debian Jessie(openbox), Windows 7 ; Dell Inspiron 1501; AMD Turion 64x2; ATI XPress 1100 (vista come Radeon Xpress 200M)
Quando si richiede supporto postare il comando "lsb_release -ds && echo $DESKTOP_SESSION && uname -m"
Chiusa

Ritorna a “Personalizzazione dell'ambiente desktop”

Chi c’è in linea

Visualizzano questa sezione: 0 utenti iscritti e 3 ospiti