Official GNOME Shell Extensions, Weather, System Monitor, MediaPlayer And GPaste Available For GNOME Shell 3.4 [PPA - Ubuntu 12.04]

A quick update for Ubuntu 12.04 Precise Pangolin users running GNOME Shell: I've updated some of the extensions available in the WebUpd8 GNOME 3 PPA to the latest version which works with GNOME Shell 3.4.

The updated extensions that work with GNOME Shell 3.4 available in the WebUpd8 GNOME 3 PPA are: the official GNOME Shell extensions (now it's a single package), GNOME Shell Weather, GPaste (clipboard tool), System Monitor and MediaPlayer. More will follow.

Initially, I wasn't planning on updating them since they are available on extensions.gnome.org, but I've got quite a few requests for this. One thing that's not available for extensions installed through GNOME's extensions website is update support so the PPA should be useful for those who want to use the latest version of the above mentioned extensions.

Installation

To be able to install the extensions, you'll have to firstly add the WebUpd8 GNOME 3 PPA:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update

Then, install the official GNOME Shell extensions (includes the following extensions: Dock, User Theme, Alternative Status Menu, Alternate Tab, Drive Menu, SystemMonitor, Gajim, Workspace Indicator, Apps Menu, Auto Move Windows, Native Window Placement, Places Menu, windowsNavigator ):

sudo apt-get install gnome-shell-extensions

To install the GNOME Shell Weather Extension:

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

For installing GNOME Shell System Monitor (this is a different extension than the official GNOME Shell System Monitor), use:

sudo apt-get install gnome-shell-system-monitor

To install GPaste clipboard tool, use:

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

And to install GNOME Shell Mediaplayer extension:

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

To enable the extensions, you'll need GNOME Tweak Tool so install it if you haven't already:

sudo apt-get install gnome-tweak-tool

Then, restart GNOME Shell by pressing ALT + F2 and entering "r" (or log out and log back in), open GNOME Tweak Tool and enable the extensions you want to use.

Source