On Fri, 2017-03-24 at 11:43 -0600, Greg Woods wrote:
On Fri, Mar 24, 2017 at 11:28 AM, Rick Stevens <ricks(a)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.