how extensions can be update?

2011-12-05 Thread Ronan FORTIN 
Hi all,

When I install extension from https://extensions.gnome.org, how extension
is update? with a repository?

Thanks,
Ronan
___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list

Re: how extensions can be update?

2011-12-05 Thread Ronan FORTIN 
thanks a lot.
i didn't see your update :)

2011/12/6 Jasper St. Pierre jstpie...@mecheye.net

 I recently added more words to the bottom of the about page that explains
 this:

 https://extensions.gnome.org/about/

 On Mon, Dec 5, 2011 at 8:30 PM, Ronan FORTIN ronan.for...@gmail.com
 wrote:
  Hi all,
 
  When I install extension from https://extensions.gnome.org, how
 extension is
  update? with a repository?
 
  Thanks,
  Ronan
 
  ___
  gnome-shell-list mailing list
  gnome-shell-list@gnome.org
  http://mail.gnome.org/mailman/listinfo/gnome-shell-list
 



 --
   Jasper

___
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list