[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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[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

[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

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[Bug 1246677] Re: gnome shell extensions disabled

2017-07-16 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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[Bug 1246677] Re: gnome shell extensions disabled

2017-05-17 Thread Daniel van Vugt
Thank you for taking the time to report this bug and helping to make Ubuntu better. Please execute the following command only once, as it will automatically gather debugging information, in a terminal: apport-collect 1246677 When reporting bugs in the future please use apport by using 'ubuntu-