Rahul Sundaram <metherid <at> gmail.com> writes:
As the maintainer and use of this extension, I don't think
Fedora
should be installing extensions by default. As a general principle, if
some extension is so popular that it must be installed by default to
provide a better experience for end user, this functionality must be
merged in GNOME Shell directly. Extensions are great for more fringe
functionality or to prototype new features but they shouldn't be
installed by default typically. From what I hear in the desktop
summit, Owen Taylor seems to be interested in providing a power off
option directly for the next version of GNOME and that should solve this
particular concern
What prompted me to suggest this was the comment
https://bugzilla.gnome.org/show_bug.cgi?id=643457#c74 referring to
http://www.golem.de/1108/85539.html (German article). Google's German
translation isn't very readable but AFAICT it seemed to confirm the poster's
claim that there wasn't expected to be a Power Off option in 3.2.