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?

1 Answer 1


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
    Commented Mar 27, 2012 at 6:45
  • chrome://plugins/
    – Not a Name
    Commented Apr 2, 2012 at 13:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .