Ask Your Question
1

Where Are Gnome Extensions Stored? 24/Gnome

asked 2016-07-02 07:48:03 -0500

forums gravatar image

I'm wondering where Gnome Extensions are actually stored on the system. An extension that I like very much is not currently available for Gnome 3.20; but I have it running on another distro with Gnome 3.16. Can I just locate the binary or config file on the other system and copy it to the corresponding folder in Fedora?

edit retag flag offensive close merge delete

3 Answers

Sort by ยป oldest newest most voted
3

answered 2016-07-02 07:56:04 -0500

devhen gravatar image

System-wide extensions installed from the Fedora repos (dnf list gnome-shell-extension\*):

/usr/share/gnome-shell/extensions/

User installed extensions:

~/.local/share/gnome-shell/extensions/

You can try manually editing the extension's metadata.json file and add 3.20 to the list of supported versions.

edit flag offensive delete link more
1

answered 2016-07-02 08:56:08 -0500

skytux gravatar image

If you are asking about extensions installed locally, they are here:

~/.local/share/gnome-shell/extensions/

System-wide extensions are installed here:

/usr/share/gnome-shell/extensions/

HTH.

edit flag offensive delete link more
0

answered 2016-07-02 11:27:01 -0500

forums gravatar image

Gentlemen,

Thanks very much for the very useful info. I grabbed the whole folder for "Show Public IP," and placed it in ~/.local/share/gnome-shell/extensions/

I did edit the metadata.json file so that it now looks like this:

{
  "_generated": "Generated by SweetTooth, do not edit", 
  "description": "Displays information about your public IP address (hostname, country, AS block etc) and a map image of the IP's geolocation", 
  "name": "Public IP Address", 
  "settings-schema": "org.gnome.shell.extensions.public-ip-address", 
  "shell-version": [
    "3.14", 
    "3.16", 
    "3.18",
    "3.20", #This is the line I added#
  ], 
  "url": "https://github.com/growing/gnome-public-ip-extension", 
  "uuid": "public-ip-address@holdingitwrong.com", 
  "version": 5
}

I logged out and back in again; and the extension didn't launch. Then I checked gnome-tweak-tool > extensions; and it didn't show up. Is there some other mechanism preventing this extension from being recognized?

edit flag offensive delete link more

Comments

Hm. I don't think there should be a comma after the last element ("3.20") and try removing your comment.

devhen gravatar imagedevhen ( 2016-07-02 13:54:23 -0500 )edit

Yes, that comment is not valid for javascript (or json), so will break the parser.

I think the comma is ok though.

You said you grabbed the whole folder. Which folder and from where? The easiest way to install it and keep it up to date is to go to the extensions folder and do git clone https://github.com/growing/gnome-public-ip-extension. Then edit the metadata file.

ssieb gravatar imagessieb ( 2016-07-28 14:26:28 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-07-02 07:48:03 -0500

Seen: 7,781 times

Last updated: Jul 02 '16