[Desktop-packages] [Bug 1246677] Re: gnome shell extensions disabled

2020-03-28 Thread Launchpad Bug Tracker
[Expired for gnome-shell (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Expired -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu.

[Desktop-packages] [Bug 1246677] Re: gnome shell extensions disabled

2020-01-28 Thread AdlerHorst
I got a helpfull hint. I had to install Gnome tweak and Activate Extension for Gnome shell. I would propose to add a prompt. If I try to activate a gnome-shell extension but the use of the extension is deactivated request to activate it. -- You received this bug notification because you are a

[Desktop-packages] [Bug 1246677] Re: gnome shell extensions disabled

2020-01-27 Thread Daniel van Vugt
Or just run the command as requested in comment #2 please... ** Changed in: gnome-shell (Ubuntu) Status: Won't Fix => Incomplete -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu.

[Desktop-packages] [Bug 1246677] Re: gnome shell extensions disabled

2020-01-27 Thread Daniel van Vugt
I don't quite follow, but since this bug is so old can you please open a new one by running: ubuntu-bug gnome-shell and then describe the issue in more detail? ** Changed in: gnome-shell (Ubuntu) Status: New => Won't Fix -- You received this bug notification because you are a member

[Desktop-packages] [Bug 1246677] Re: gnome shell extensions disabled

2020-01-24 Thread AdlerHorst
Gnome shell should prompt that the Extension support is deactivated. And should get activated. ** Changed in: gnome-shell (Ubuntu) Status: Expired => New -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu.