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?


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.

  • 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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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