Ubuntu

Per chi non lo sapesse le GNOME Shell Extensions è un progetto ufficiale del team Gnome le quali permettono di aggiungere nuove funzioni a Gnome Shell.
Potremo per esempio aggiungere la Dock permanente sulla parte destra del desktop, aggiunge il tasto SPEGNI in maniera permanente, aggiungere nuovi temi in maniera semplice e veloce e molto altro ancora.
Come indicato negli articoli precedenti le GNOME Shell Extensions sono già presenti nei repository ufficiali di Fedora 15 mentre per Ubuntu (in data odierna) non sono ancora presenti.

Per questo motivo abbiamo deciso di avviare in PPA LffL  per GNOME Shell Extensions con il quale potremo installare le nostre estensioni con estrema facilità e mantenerle sempre aggiornate.

Ecco come installare GNOME Shell Extensions da PPAsu Ubuntu.

Per installare GNOME Shell Extensions su Ubuntu 11.10 – 11.04 basta avviare il terminale e digitare:

sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-common

a questo punto possiamo installare le nostre estensioni, le troveremo in Ubuntu Software Center oppure semplicemente digitando da terminale:

1. gnome-shell-extensions-alternate-tab:Consente di utilizzare classico Alt + Tab basandosi sulle finestre invece delle applicazioni in GNOME Shell.

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-alternate-tab

2. gnome-shell-extensions-alternative-status-menu: aggiunge il tasto SPEGNI in maniera permanente senza che ogni volta digitiate ALT per farlo comparire.

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-alternative-status-menu

gnome shell

3. gnome-shell-extensions-auto-move-windows: Consente di gestire le aree di lavoro più facilmente, l’assegnazione di uno spazio di lavoro specifico per ogni applicazione, non appena si avvia una finestra.

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-auto-move-windows

4. gnome-shell-extensions-dock: Non fa altro che aggiungere una Dock permanente sulla parte destra del desktop. Si tratta della stessa dock che compare quando si accede alle ATTIVITA’

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-dock

5. gnome-shell-extensions-gajim: Aggiunge l’integrazione con gajim sul nostro Gnome Shell

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-gajim

6. gnome-shell-extensions-user-theme: per scegliere nuovi temi in maniera semplice e veloce!

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-user-theme

7. gnome-shell-extensions-windows-navigator: consente la selezione con la tastiera nelle finestre nelle aree di lavoro in modalità overlay

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-windows-navigator

8. gnome-shell-extensions-xrandr-indicator: sostituisce l’indicatore basato su GTK+ da gnome-settings-daemon con un nativo Consente all’utente di ruotare il monitor del computer portatile

Per installarlo basta digitare da terminale:

sudo apt-get install gnome-shell-extensions-xrandr-indicator

Una volta installata l’estensione per attivarla occorre riavviare Gnome Shell, per farlo premiamo ALT+F2 e diamo il comando r
Ora avremo la nostra estensione avviata sul nostro Gnome 3


Home GNOME Shell Extensions

  • Impagabile…. grazie mille!

    • si niente a giorni caricheremo altre nuove estensioni
      ciao

  • Giulio

    Grazie e’ davvero una manna questo Repo, ma  gnome-shell-extensions-user-theme come funziona

    • lo devono correggere non è colpa mia ma dei sorgenti

  • Giulio

    Guarda che gnome-shell-extensions-user-theme non funziona sulla shell non compare la voce temi anche  dando alt f2 r e non si installa nessun tema

  • Max

    su oneiric ho provato ad installare le extensions ed i themi presenti nei repository, ma non funziona nessuna delle extension e non è possibile selezionare nessuno dei temi da gnome tweak tools

  • ma gnome-shell-extensions-user-theme come funziona?! non mi appare sulla shell!

    • no appare se aggiungi nuovi temi su gnome-tweak-tool

  • Mauri Maf

    Ho messo il tasto spegni. Mi è diventato tutto il menù in inglese. Bene…

No more articles