For the past month or so I've been unable to shut down or reboot my PC from GNOME-shell. I am running 3.8 from the staging PPA which is otherwise working beautifully. When I attempt to shut down or reboot it gets as far as stripping the themes from applications and then goes no further. In order to shut down I have to open a terminal emulator and
sudo shutdown -h now.
gnome-session-quit --power-off does not yield any terminal output.