Thank you @Daniel van Vugt for your thorough explanation and @Sebastien Bacher for suggestion of reporting at gitlab.gnome.org, I have created this issue:
https://gitlab.gnome.org/GNOME/gnome-session/issues/16 ** Bug watch added: gitlab.gnome.org/GNOME/gnome-session/issues #16 https://gitlab.gnome.org/GNOME/gnome-session/issues/16 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-session in Ubuntu. https://bugs.launchpad.net/bugs/1819920 Title: gnome-session-quit --power-off option ignored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-session/+bug/1819920/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
