Shell Restart User Menu Entry

Freeware    
  UNRATED

description

download

specs

Shell Restart User Menu Entry is a GNOME Shell extension that allows you to easily and quickly restart the shell.

It adds an entry to the User Menu, called "Restart Shell".

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with Cinnamon.
read more   
Last updated on October 24th, 2012
Shell Restart User Menu Entry

0 User reviews so far.

SUBMIT
Adds a "Restart Shell" function on GNOME panel

  147 downloads

#restart shell #restart GNOME-Shell #GNOME restart #restart #reboot #shell #GNOME-Shell