On Fri, 2017-03-24 at 11:43 -0600, Greg Woods wrote: > > On Fri, Mar 24, 2017 at 11:28 AM, Rick Stevens <ricks@xxxxxxxxxxxxxx> > 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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
