Re: [Bug 1806978] Re: no gdm-panels in gdm3 ubuntu 18.04

2018-12-06 Thread Michael Wilson
How do I change the title of this bug ? On Wednesday, December 5, 2018, 10:35:36 PM EST, Daniel van Vugt wrote: OK, it sounds like "gdm-panel" isn't a thing that exists. Please reword the bug description accordingly. -- You received this bug notification because you are subscribed to

Re: [Bug 1806978] Re: no gdm-panels in gdm3 ubuntu 18.04

2018-12-06 Thread Michael Wilson
ps aux | grep panel show gnome-panel OK, "gnome" panel On Wednesday, December 5, 2018, 10:35:36 PM EST, Daniel van Vugt wrote: OK, it sounds like "gdm-panel" isn't a thing that exists. Please reword the bug description accordingly. -- You received this bug notification because you are

Re: [Bug 1806978] Re: no gdm-panels in gdm3 ubuntu 18.04

2018-12-05 Thread Michael Wilson
I tried  dpkg -S `which gdm-panel` dpkg-query: error: --search needs at least one file name pattern argument in both user and root. Thank you for your interest. On Wednesday, December 5, 2018, 9:10:52 PM EST, Daniel van Vugt wrote: Could you please also find out what package provides