On 2/19/23 20:31, Simon McVittie wrote:
[...] * gnome-core, a GNOME system with essential utilities like a login prompt, preferences, a file manager and a text editor, which Depends on gnome-session, and also on xdg-desktop-portal-gnome specifically;
Okay, you managed to convince me that gnome-core should pull it in, not gnome-shell.
(For some weird reason gnome-core was not installed on my machines although I've been using them with GNOME for ages.)
I'm gonna close this bug then. -richy.