Gnome Shell Extensions

GNOME Shell Extensions adalah proyek resmi dari tim Gnome yang memungkinkan kita untuk menambahkan fitur baru untuk Gnome Shell.

Dengan Gnome Shell Extensions Kita bisa menambahkan Dock permanen di sisi kanan desktop, menambahkan tombol POWER secara permanen, menambahkan tema baru secara sederhana dan cepat dan banyak lagi.

Berikut cara menginstal GNOME Shell Extensions melalui PPA:
1. sudo add-apt-repository ppa:ferramroberto/gnome3
2. sudo apt-get update
3. sudo apt-get install gnome-shell-extensions-common
4. sudo apt-get install gnome-shell-extensions-alternate-tab
5. sudo apt-get install gnome-shell-extensions-alternative-status-menu
6. sudo apt-get install gnome-shell-extensions-auto-move-windows
7. sudo apt-get install gnome-shell-extensions-dock
8. sudo apt-get install gnome-shell-extensions-gajim
9. sudo apt-get install gnome-shell-extensions-user-theme
10. sudo apt-get install gnome-shell-extensions-windows-navigator
11. sudo apt-get install gnome-shell-extensions-xrandr-indicato