Re: sometimes sighup needed for gnome-shell