GNOME Shell Extensions

Review of "Shell Restart User Menu Entry" version 2

Details Page Preview

Shell Restart User Menu Entry

by distopico

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

Extension Homepage
https://github.com/asant/gnome-shell-extension-restart-entry
No comments.

Diff Against

Files

Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.

All Versions

Version Status
2 Active
1 Rejected

Previous Reviews on this Version

gcampax waiting for author
Duplicate of https://extensions.gnome.org/extension/239/shell-restart-user-menu-entry/ Did you contact the author to have it updated?
distopico posted a review
Yes, but not respond
gcampax active
Ok