1

I have installed GNOME Shell extensions from two sources:

Sometimes I get prompted with an upgrade from extensions.gnome.org, but I can't tell what the original state of the extension was (so I can decide whether to get the upgrade, switch source, etc).

How can I see which source an extension came from?

1

The prompt to upgrade is coming from your browser's "GNOME Shell integration" plugin. If you follow the prompt you will be taken to https://extensions.gnome.org/local/ where all your extensions (from both sources) will be listed.

Extensions from the website have a red "X" button, indicating they can be uninstalled. Local packages cannot be uninstalled by "GNOME Shell integration", so they don't get an X.

Website-sourced extensions have a red X indicating they can be uninstalled

In Debian-based distributions, most extensions are found in individual packages gnome-shell-extension-X or gnome-shell-extensions-X. Other distributions may follow a similar convention.

The exception is the package gnome-shell-extensions (no suffix). This package contains the set of "official" extensions from GNOME. These are likely the ones installed as local packages.

  • 2
    Package-based extensions are also identified by “System extension” under their name, as seen in your screenshot. – Stephen Kitt Aug 24 '18 at 11:33
  • I... I can't believe it – david.libremone Aug 25 '18 at 6:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.