Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have switched over to GNOME Shell, and use GNOME Shell Extensions to tweak the looks and functionality of my distribution.

However, I have not yet found out what technology is used to install, enable and disable the extensions from the webpage with just a few clicks.

How is it implemented? Can any webpage do this?

share|improve this question
up vote 3 down vote accepted

It is implemented using a browser plugin. "Gnome Shell Integration".

Try disabling it (firefox: addons -> plugins) and it no longer works.

Only the gnome website can use it.

share|improve this answer
I'm using Google Chrome though, and there is no "visible" GNOME plugin installed. – whirlwin Mar 27 '12 at 6:45
chrome://plugins/ – Not a Name Apr 2 '12 at 13:58
Thanks! I was mixing up plugins and extensions. – whirlwin Apr 2 '12 at 17:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.