[Bug 1851554] Re: can't install gnome shell extensions

2020-01-07 Thread Bug Watch Updater
** Changed in: gnome-shell Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bu

[Bug 1851554] Re: can't install gnome shell extensions

2019-12-31 Thread Jonathan Kamens
OK,so I just discovered that if I open gnome-shell-extension-prefs, there's a switch in the upper right corner of the window, which apparently disables all shell extensions, and I had that switched turned off, though I have no idea how or when I did that. Turned it on and now I can install extensio

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-13 Thread Bug Watch Updater
** Changed in: gnome-shell Status: Unknown => New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-13 Thread Sebastien Bacher
** Changed in: gnome-shell (Ubuntu) Status: New => Triaged -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about thi

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-13 Thread Jonathan Kamens
** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/issues #1894 https://gitlab.gnome.org/GNOME/gnome-shell/issues/1894 ** Also affects: gnome-shell via https://gitlab.gnome.org/GNOME/gnome-shell/issues/1894 Importance: Unknown Status: Unknown -- You received this bug notifica

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-12 Thread Sebastien Bacher
Ok, sorry then I've no idea what in the user profile is creating the problem, maybe upstream would have a better clue... -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gn

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-12 Thread Jonathan Kamens
No difference. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+sou

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-12 Thread Sebastien Bacher
Can you move ~/.local/share/gnome-shell away and try if that makes a difference? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifica

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-12 Thread Jonathan Kamens
Yes. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-12 Thread Jonathan Kamens
>Does it work with a new user on the same system? Yes. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go t

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-11 Thread Sebastien Bacher
Does it work with a new user on the same system? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go to: http

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-06 Thread Jonathan Kamens
>What webbrowser do you use? Chrome >Did you try to install from gnome-software instead? It doesn't work in gnome-software either. Additional behaviors observed in gnome-software: 1) When I try to _uninstall_ the extension from inside gnome-software, it says it can't uninstall it, but it actual

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-06 Thread Sebastien Bacher
Thank you for your bug report. What webbrowser do you use? Did you try to install from gnome-software instead? ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Low ** Changed in: gnome-shell (Ubuntu) Status: New => Incomplete -- You received this bug notification because y

[Bug 1851554] Re: can't install gnome shell extensions

2019-11-06 Thread Jonathan Kamens
The extension won't turn on in Wayland either. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1851554 Title: can't install gnome shell extensions To manage notifications about this bug go to: https: