When you have finished working and want to quit GNOME, you are
presented with the choice of simply logging out of GNOME
(leaving the system running), restarting the machine, or halting the
system completely.
To quit GNOME, select the menu item from the . This will bring up a dialog which presents you
with the options listed above.