Re: [orca-list] gnome-shell-extensions

[Zahari Yurukov <zahari yurukov gmail com>]

Hi,
you need a Firefox plugin, called GNOME integration.
I also can't find it on the Mozilla addons site now, but fortunately I
have it installed, i.e. I have the nessesary library:
https://dl.dropboxusercontent.com/u/2445287/libgnome-shell-browser-plugin.so

Copy that as:
/usr/lib/mozilla/plugins/libgnome-shell-browser-plugin.so
And it should show up when you type about:plugins in Firefox's location
bar. The guys on stackoverflow say that this should work.

Does someone know sources of GNOME extentions other than
extentions.gnome.org and how to install extentions locally? I remember
I've seen GNOME extentions on github, but no idea how to install them,
and there is not a clue in their readmes, too.
Where I should look for installed extentions on the file system? It
would be nice if I can backup them.

What GNOME extentions folks do you use?
I frequently  use this Clipboard indicator recently:
https://extensions.gnome.org/extension/779/clipboard-indicator/

hth,
Zahari

On 11.10.2015 10:29, Pavel Vlček wrote:
> Hi,
> I want to install more gnome-shell-extensions to tweak-tool. But when
> I click get more addons button, I get this message.
>
> We cannot detect a running copy of GNOME on this system, so some parts
> of the interface may be disabled. See our troubleshooting entry for
> more information.
>
>
> Which package do I need to install for gnome detection? I use upgraded
> fedora 22 from 21 with fedup and with rpm fusion free and nonfree
> installed. So I have Gnome 3.16.3.
> Thanks for help,
> Pavel
> _______________________________________________
> orca-list mailing list
> orca-list gnome org
> https://mail.gnome.org/mailman/listinfo/orca-list
> Orca wiki: https://wiki.gnome.org/Projects/Orca
> Orca documentation: https://help.gnome.org/users/orca/stable/
> GNOME Universal Access guide: https://help.gnome.org/users/gnome-help/stable/a11y.html
> Log bugs and feature requests at http://bugzilla.gnome.org