Updating GNOME Shell extensions via DNF / GNOME Software

asked 2018-05-06 11:48:53 -0600

jg42 gravatar image

Firefox constantly informs me that updates to GNOME shell extensions are available. This also applies to the "system" extensions (e.g. AlternateTab, ...) which are installed by default but which I don't use (disabled). While I see the benefit of keeping software up-to-date, this is a hassle to do it manually via extensions.gnome.org. Is it possible to update shell extensions automatically via the regular update mechanism, i.e. dnf upgrade or GNOME Software? I noticed that nowadays shell extensions do show up in GNOME Software, and some of them twice, one with Source: fedoraproject.org, one with Source: extensions.gnome.org. Do I have to uninstall the latter and install the former in order to receive updates for them? How to handle extensions which are not in the Fedora repos, like Drop Down Terminal? Am I stuck having to update those manually?

edit retag flag offensive close merge delete



A lot of these extensions are available in the regular fedora repository:

dnf list gnome-shell-extension\*

gives a list of all of them.

Gnome software have them also available.

villykruse gravatar imagevillykruse ( 2018-05-06 12:51:17 -0600 )edit

@villykruse Right. As I wrote, I do see both versions (Fedora repo and extensions.gnome.org) listed in Software. So, did I understand correctly that the version from the repo will receive automatic updates and not bother me in the future? It's hard to test for myself, since newly installed extensions will be up-to-date for now...

jg42 gravatar imagejg42 ( 2018-05-06 14:10:31 -0600 )edit

I would expect that anything installed via dnf install also gets updated vi dnf update or dnf upgrade.

villykruse gravatar imagevillykruse ( 2018-05-07 02:14:27 -0600 )edit

I think this question is interesting and I would like to add to it: How does one find out which version or build is offered through extensions.gnome.org? It would be somehow good/interesting to know that in order to be able to compare what's offered there vs. what's offered in Fedora's repo. (I am using extension from gnome.org but I would prefer installing them from the repo since they get (hopefully) updated with regular system updates).

florian gravatar imageflorian ( 2018-07-17 10:50:33 -0600 )edit