Re: Gnome shell extensions doesn't get installed

On Thu, Feb 14, 2013 at 7:34 AM, Ted Roche wrote: > > I note that the website (https://extensions.gnome.org/about/) says: > > and it also says, "If you have checked all of these solutions and are still having trouble installing extensions, please file a bug report using the link in the footer o

Re: Gnome shell extensions doesn't get installed

On Wed, Feb 13, 2013 at 8:43 PM, Rahul Sundaram wrote: > Do you really think I don't understand the difference? What I was hinting > at is that GNOME extensions site uses a Firefox extension to be functional. > > I note that the website (https://extensions.gnome.org/about/) says: "Note: there

Re: Gnome shell extensions doesn't get installed

hi On Wed, Feb 13, 2013 at 6:00 PM, Sam Varshavchik wrote: > Rahul Sundaram writes: > >> >> >> You should be using Firefox. Are you? >> > > That would be a great way to get Firefox extension, certainly, but not > Gnome extensions. > Do you really think I don't understand the difference? What

Re: Gnome shell extensions doesn't get installed

Rahul Sundaram writes: « HTML content follows » Hi On Wed, Feb 13, 2013 at 1:03 PM, Wilfredo Porta wpo...@gmail.com> wrote: Hi all, I can't install gnome shell extensions via http://extensions.gnome.org>extensions.gnome.org. I have upgrade my system s

Re: Gnome shell extensions doesn't get installed

Sure. Gnome Shell Integration Plugin is installed and active. Also, I'm behind a proxy, but I have the proxy configured in the system settings and in firefox. If I install the extension via yum they work, but not the ones from the site. Thanks, ~Wilfredo On Wed, Feb 13, 2013 at 12:36 PM, Rahul

Re: Gnome shell extensions doesn't get installed

Hi On Wed, Feb 13, 2013 at 1:03 PM, Wilfredo Porta wrote: > Hi all, I can't install gnome shell extensions via extensions.gnome.org. > > I have upgrade my system since F12 all the way through F17. > > I do get the message when trying to install an extensions, I agree but > nothing happens. > Y