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.
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.