On Fri, 2017-03-24 at 11:43 -0600, Greg Woods wrote:
>
> On Fri, Mar 24, 2017 at 11:28 AM, Rick Stevens <ricks@alldigital.com>
> wrote:
> > Killing gnome-shell will not necessarily free the
> > machine up and make the GUI work as it is a significant component
> > of
> > the desktop
> >
>
> It won't. If you unceremoniously kill off gnome-shell, the desktop no
> longer works at all.
Use top to find the process number of gnome-shell.
kill -1 <pid of gnome-shell>
That will restart it without killing anything actually running.
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-leave@lists.fedoraproject.org