24 Mar
2017
24 Mar
'17
4:19 p.m.
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.