GNOME Shell restart command