GitHub - asant/gnome-shell-extension-restart-entry: A very simple extension that adds a "restart shell" function to the user's menu, with a confirm dialog.

asant / gnome-shell-extension-restart-entry Public

Notifications You must be signed in to change notification settings
Fork 5
Star 4

A very simple extension that adds a "restart shell" function to the user's menu, with a confirm dialog.

github.com/asant/gnome-shell-extension-restart-entry

GPL-2.0 license

4 stars 5 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
config		config
m4		m4
po		po
src		src
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
HACKING		HACKING
Makefile.am		Makefile.am
README		README
autogen.sh		autogen.sh
configure.ac		configure.ac
extension.mk		extension.mk
include.mk		include.mk

Repository files navigation

This is the restart-entry extension, a very simple GNOME Shell extension that
adds a "Restart Shell..." functionality with a confirmation dialog to the user's
menu. The dialog also contains an option that lets users reload the current
theme only, without having to restart the whole Shell.

In case you didn't get your copy of this extension from github, you can find its
original repository at the following url:

https://github.com/asant/gnome-shell-extension-restart-entry