I guess we could make this distinction for users who are in neither of the adm/sudo groups. But it's a non-trivial enhancement that requires more detailed design discussion so please report it to the GNOME developers at https://gitlab.gnome.org/GNOME/gnome-shell/issues and then tell us the new issue ID.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1945740 Title: Hide system tools for non admin users To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1945740/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
