Shell Restart User Menu Entry

Adds a "Restart Shell" function on GNOME panel

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
Freeware 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
asant
HOMEPAGE:
github.com
CATEGORY:
ROOT \ Desktop Environment \ GNOME Shell Extensions
1 Shell Restart User Menu Entry Screenshot:
Shell Restart User Menu Entry
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.

Last updated on October 24th, 2012

requirements

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

Add your review!

SUBMIT