Codice: Seleziona tutto
sudo apt-get install gnome-shellinstalla gnome tweak tool:
Codice: Seleziona tutto
sudo apt-get install gnome-tweak-toolinstalla questo repository per le shell extensions:
Codice: Seleziona tutto
sudo add-apt-repository ppa:webupd8team/gnome3Codice: Seleziona tutto
sudo apt-get updateCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-commonCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-user-themeCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-weather Codice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-apps-menuCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-alternative-status-menuCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-places-menuCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-mediaplayerCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-dockCodice: Seleziona tutto
sudo apt-get install dconf-toolsCodice: Seleziona tutto
dconf-editorCodice: Seleziona tutto
sudo apt-get install mgse-menuCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-autohidetopbarCodice: Seleziona tutto
sudo apt-get install gnome-shell-extensions-windowoverlay-iconsle extensions si possono installare anche manualmente dal gestore pacchetti
Codice: Seleziona tutto
sudo apt-get install synapticuna 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)

