After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 725883 - extensions.gnome.org should inform when extensions were installed via distro packages
extensions.gnome.org should inform when extensions were installed via distro ...
Status: RESOLVED DUPLICATE of bug 772085
Product: website
Classification: Infrastructure
Component: extensions.gnome.org
current
Other Linux
: Normal enhancement
: ---
Assigned To: Yuri Konotopov
Shell extensions maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2014-03-07 10:26 UTC by Pander
Modified: 2016-12-27 10:23 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
site (87.12 KB, image/png)
2014-03-07 10:26 UTC, Pander
Details
lg (137.46 KB, image/png)
2014-03-07 10:26 UTC, Pander
Details

Description Pander 2014-03-07 10:26:14 UTC
Created attachment 271194 [details]
site

On Ubuntu with gnome-shell 3.10.2.1-0ubuntu1~saucy1 I cannot uninstall the Workrave extension. It is also no longer on the extensions website. Please see screenshots from website and also lg. I cannot find it on my disk either:

$ ls ~/.local/share/gnome-shell/extensions/
alternate-tab@gnome-shell-extensions.gcampax.github.com
SkypeNotification@chrisss404.gmail.com
Comment 1 Pander 2014-03-07 10:26:47 UTC
Created attachment 271195 [details]
lg
Comment 2 Florian Müllner 2014-03-07 12:31:10 UTC
Maybe you did install a packaged version at some time? Is there anything in /use/share/gnome-shell/extensions?
Comment 3 Pander 2014-03-07 13:54:54 UTC
Bingo, that is indeed the culprit.

$ dpkg -S /usr/share/gnome-shell/extensions/workrave@workrave.org/
workrave-data: /usr/share/gnome-shell/extensions/workrave@workrave.org

I have version 1.10.1-2 installed on latest up to date Ubuntu.

Could https://extensions.gnome.org/local/ not show me the remove button and inform me, in as much practical detail as possible how that extension was installed?

Also could lg provide me which that same information too?

Fixing this would not offer remove buttons that don't work and give end-users insight in where to look to remove, report of fix certain problems.

See also http://issues.workrave.org/show_bug.cgi?id=1156
Comment 4 Florian Müllner 2014-03-07 14:35:45 UTC
(In reply to comment #3)
> Could https://extensions.gnome.org/local/ [...] inform me [...] how that 
> extension was installed?

The necessary information is already exported, so it should be possible for the website to pick it up; reassigning.
Comment 5 Yuri Konotopov 2016-12-27 10:23:23 UTC

*** This bug has been marked as a duplicate of bug 772085 ***