On Fri, Jun 25, 2010 at 12:25 AM, Sean Brady <[email protected]> wrote: > > > On 06/24/2010 03:27 PM, Giovanni Campagna wrote: >> >> Every extension is represented as a folder inside one of the GNOME >> Shell extension folders (/usr/share/gnome-shell/extensions and >> ~/.local/share/extensions). The name of this folder is the ID of the >> extension, which is purposefully similar to an email. In this case it >> is [email protected], if you notice the part after >> @ is my email with @ transformed into a dot. >> Inside the extension you find the stylesheet (which is copied >> unmodified from the example extension included with gnome-shell, and >> it's not actually used), some metadata in json form, and finally the >> code, which is extension.js. >> GNOME Shell automatically recognizes any folder in the extension >> directory, whose name is a valid ID and whose metadata is correct. >> Therefore, by only having that folder inside your local extension >> directory, upon restarting the shell you should see an application >> list next the application menu. >> Please note that this extension has been tested against current GIT HEAD. >> For more informations on extensions: >> http://live.gnome.org/GnomeShell/Extensions >> >> If you have any doubt, don't hesitate to mail me :) >> >> Giovanni >> _______________________________________________ >> >> > > So, for those of use using jhbuild, how can we test this out? I don't see > an extensions folder anywhere in ~/gnome-shell
~/.local/share/gnome-shell/extensions (or formally, $XDG_DATA_HOME/gnome-shell/extensions) If it does not exist, create it. You don't need rebuilding or reinstalling, just restarting the shell (alt-f2 r), as extensions are not part of the build tree. Giovanni _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
