



If you want to manually install some of the MGSE extensions, get the ./test).



For Arch Linux, you can find all the MGSE extensions in AUR: http://aur.archlinux.org/packages.php?ID=53742 The official Linux Mint GNOME Shell (more about Linux Mint 12 here ) extensions can be downloaded via GitHub . However, since some of them are forks of the official GNOME Shell extensions, it's not a good idea to install and activate all of them because of possible conflicts with the original extensions.If you want to manually install some of the MGSE extensions, get the Git branch , open the "test" script and remove any extensions you don't want to install. And finally, run the "test" script ().





To make it easier for Ubuntu users to give some of the new MGSE (Mint GNOME Shell Extensions) a try, I've uploaded 3 extensions to the WebUpd8 GNOME 3 PPA (all credits for the extensions: Linux Mint and their official authors, all I did was to upload them to the PPA).

The following MGSE extensions are available in our PPA: MGSE Menu, MGSE Bottompanel and MGSE Window List. Please note that the extensions are still work in progress!

sudo add-apt-repository ppa:webupd8team/gnome3 sudo apt-get update sudo apt-get install mgse-bottompanel mgse-menu mgse-windowlist

Once installed, reload GNOME Shell and activate the extensions using GNOME Tweak Tool.

The Windowlist and Bottom panel extensions need to be enabled in the same time, however, MGSE Menu can be used without the bottom panel, in which case it will be displayed in the top left corner, moving the Activities button to the right of it:

Important: in my tests, I've discovered some bugs that occur when enabling/disabling these extensions (for instance: the Activities button may disappear after an enable/disable combination of the MGSE menu extension), but you can fix them by simply reloading GNOME Shell (or log out and log back in).





Also, Linux Mint 12 will use Zukitwo GTK and GNOME Shell theme. The "mintified" Zukitwo GTK theme can be found here , but if you want to easily install the original Zukitwo (as well as Zukitwo GNOME Shell theme), use the WebUpd8 themes PPA:

sudo add-apt-repository ppa:webupd8team/themes sudo apt-get update sudo apt-get install zukitwo-theme-all

Other GNOME Shell extensions news

GNOME Shell Classic Systray (previously known as GNOME Shell GNOME 2 notifications). This extension basically the same as the MGSE Notifications extension, but it doesn't move the clock to the right.



Note: if you've manually installed "GNOME Shell GNOME 2 notifications", remove it before installing this extension: And since this post is about GNOME Shell extensions, I'll use it to let you know that another GNOME Shell extension is now available in the WebUpd8 GNOME 3 PPA:(previously known as GNOME Shell GNOME 2 notifications). This extension basically the same as the MGSE Notifications extension, but it doesn't move the clock to the right.Note: if you've manually installed "GNOME Shell GNOME 2 notifications", remove it before installing this extension:

rm -rf "/usr/share/gnome-shell/extensions/gnome-shell-gnome2-notifications@emergya.com" rm -rf "~/.local/share/gnome-shell/extensions/gnome-shell-gnome2-notifications@emergya.com"

sudo add-apt-repository ppa:webupd8team/gnome3 sudo apt-get update sudo apt-get install gnome-shell-classic-systray

Once installed, reload GNOME Shell and activate the extension using GNOME Tweak Tool. Important: after activating the extension, you'll have to reload GNOME Shell once again to get the icons on top.







GNOME Shell Mediaplayer extension (installation instructions updated to the latest GIT in our PPA and you can now specify where it should be displayed, hide/show media player volume control slider and set the cover art size: And finally, the(installation instructions here ) has beento the latest GIT in our PPA and you can now specify where it should be displayed, hide/show media player volume control slider and set the cover art size:

gsettings set org.gnome.shell.extensions.mediaplayer volumemenu false

gsettings set org.gnome.shell.extensions.mediaplayer volume true

gsettings set org.gnome.shell.extensions.mediaplayer coversize 100

Other changes: use GS control button styles, smaller button icons, DeadBeef and Totem support and various fixes.

Thanks to Charles Bowman for the MGSE tip!

Add the PPA and install them in Ubuntu 11.10 Oneiric Ocelot using the following commands:If you're not using Ubuntu, download Zukitwo via DeviantArt Here's a screenshot (thanks to Satya!):To install it, use the commands below:To show the extension in its own menu instead of the volume menu:To show the volume control slider of the media player:Set the size of the cover (default 80):(each of the above changes requires a GNOME Shell restart).