Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Uninstalling some GNOME Shell extensions does not work #16

Closed
aleb opened this issue Oct 19, 2016 · 7 comments
Closed

Uninstalling some GNOME Shell extensions does not work #16

aleb opened this issue Oct 19, 2016 · 7 comments
Assignees

Comments

@aleb
Copy link

aleb commented Oct 19, 2016

I use Google Chrome with the "GNOME Shell integration" browser plugin. I go to https://extensions.gnome.org/local/ and I click the round X button for the "windowNavigator" extension. It is removed from the list and there is a magenta notification at the top of the page: "You uninstalled windowNavigator.". I reload the page and it's still there.

Same happens with "Workspace Indicator" and "Hello, World!".

It did work fine uninstalling others.

@nE0sIghT
Copy link
Owner

Can you try Epiphany (GNOME Web) browser and/or Firefox with NPAPI plugin? Is it reproducible with them?

@aleb
Copy link
Author

aleb commented Oct 19, 2016

In Epiphany it works strange, one time it failed to detect GNOME3 and the next time it showed fine the extensions.

In Firefox nothing happens if I click the round X button.

@nE0sIghT
Copy link
Owner

So neither Epiphany nor Firefox works for you?
Please also try GNOME Tweak Tool.

@aleb
Copy link
Author

aleb commented Oct 19, 2016

The Remove buttons are disabled:

screenshot from 2016-10-19 17-41-57

@nE0sIghT
Copy link
Owner

The Remove buttons are disabled

That means those extensions are system. To uninstall them you must use your package manager.
Extensions package is often named gnome-shell-extensions.

I also proposed a patch for extensions.gnome.org some time ago to remove uninstall button for system extensions and explicitly mark them on site.

@nE0sIghT nE0sIghT self-assigned this Dec 2, 2016
@nE0sIghT
Copy link
Owner

nE0sIghT commented Dec 2, 2016

I merged fix for extension.gnome.org: GNOME/extensions-web@a18e385

It will be deployed soon.

@nE0sIghT
Copy link
Owner

Deployed several days ago

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants