Rahul Sundaram <metherid <at> gmail.com> writes:
# yum install gnome-shell-extensions-alternative-status-menu
Alt+F2, press r and enter to restart the shell. You should have a
permanent power off item in the menu.
A heads up - this extension doesn't work when gnome-shell-3.0.2-1.fc15 from
updates-testing is installed. It works again after downgrading to the stable
gnome-shell-3.0.1-4.fc15. Bugzilla is unavailable right now but if necessary
I'll file a bug later.