[02:45] <lotuspsychje> good morning
[17:59] <schuelermine[m]> Does anybody know how Ubuntu manages to theme GDM without swapping out /usr/share/gnome-shell/gnome-shell-theme.gresource? I’ve checked that file and it’s stock GNOME…