gnome shell extensions

[Michael Meskes]

On Tue, Jan 14, 2014 at 06:47:21PM +0100, Sébastien Villemot wrote:
> AFAIK there is no well-established workflow. A few extensions are
> maintained within the Debian GNOME Team, others are maintained by
> individuals.

Would you mind pointing me to those maintained by individuals? Or team
maintained ones other than gnome-shell-extensions or
gnome-shell-extensions-weather? There doesn't seem to be a common naming
scheme, is there? If not, it's kind of difficult for users to find them.

Any suggestion how to call them?

MIchael
-- 
Michael Meskes
Michael at Fam-Meskes dot De, Michael at Meskes dot (De|Com|Net|Org)
Michael at BorussiaFan dot De, Meskes at (Debian|Postgresql) dot Org
Jabber: michael.meskes at gmail dot com
VfL Borussia! Força Barça! Go SF 49ers! Use Debian GNU/Linux, PostgreSQL