By default the Gnome Shell user menu doesn’t show ‘Power Off’ option. Instead, user need holding the ‘Alt’ key to make the menu show it.
Here’s an entension for Gnome Shell > 3.2 that adds ‘Power Off’ to its user menu.
1. Download the extension poweroptions.tar.gz
from this page
2. Put it under $HOME/.local/share/gnome-shell/extensions/
(create it if not exist), then extract the package. Read the README file for installation and more.
3. You can check your gnome-shell version by this command:
gnome-shell --version
Then, edit the “metadata.json” file and change the “shell version”
4. Restart gnome-shell by Alt+F2 and run r
, or log out and back in.
5. Enable this extension in Advance Settings (gnome-tweak-tool), or execute:
gnome-shell-extension-tool -e poweroptions@fpmurphy.com