GNOME Shell extensions
The new GNOME Shell in GNOME 3 includes support for GNOME Shell extensions. What is a GNOME Shell extension?
GNOME Shell extension design is designed to give a high degree of power to the parts of the GNOME interface managed by the shell, such as window management and application launching. It simply loads arbitrary JavaScript and CSS. This gives developers a way to make many kinds of changes and share those changes with others, without having to patch the original source code and recompile it, and somehow distribute the patched code.
In other ways, a GNOME Shell extension can be used to alter the existing functionality of the GNOME Shell or to provide additional functionality. The shell in GNOME 3 can be modified by writing extensions in JavaScript. The extensions will be placed in “~/.local/share/gnome-shell/extensions”.
A sample of Gnome Shell extensions can be found at HERE
Have fun~
