On Thu, 2012-05-24 at 11:51 -0300, Adrian Alves wrote:
Am about to package this:
gnome-shell-extension-updater
https://github.com/eonpatapon/gnome-shell-extension-updater
Just wondering in case if somebody else is working on it
Note that Jasper has plans to integrate extension updates into
gnome-shell for 3.6:
https://live.gnome.org/ThreePointFive/Features/ExtensionUpdates
So, the extension you are packaging might become irrelevant in the F18
timeframe. Of course, it might still be useful for F16 and F17.