Bug#748154: gnome-shell: Power down broken

2014-05-18 Thread Vittorio Malaguti
Package: gnome-shell Version: 3.8.4-8+b1 Followup-For: Bug #748154 Dear Maintainer, I've got the same issue. Trying to power off, gnome come back to some basic theme. Then I have to press power-off button on my notebook, this way shut dowin is fine. Might be due by some old configuration file in

Bug#748154: gnome-shell: Power down broken

2014-05-14 Thread Manuel Bilderbeek
Package: gnome-shell Version: 3.8.4-8+b1 Severity: normal Dear Maintainer, I update my Debian testing installation daily and since last weekend my computer doesn't shut down anymore when I choose "Power down" in the GNOME menu at the top right. If I still have a GNOME terminal open, the terminal