The build finished, and I installed Ubuntu, Pop, and GNOME sessions side-by-side. All three worked, and the GDM theme changed based on the alternative selected. I believe the second patch version works as expected.
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1715722 Title: Allow safe override of GDM3 theme Status in GNOME Shell: Unknown Status in gnome-shell package in Ubuntu: New Bug description: Currently, in artful, GDM3's theme is hardcoded to be /usr/share /gnome-shell/theme/ubuntu.css In the Ubuntu default session, this is the same CSS file as the gnome- shell mode in /usr/share/gnome-shell/modes/ubuntu.json However, in other flavors, it makes sense to install another mode json and theme css file with a clear name. Take, for instance, pop-session, that installs /usr/share/gnome-shell/theme/pop.css and /usr/share /gnome-shell/modes/pop.json In order to supply a custom GDM3 theme, which is currently hardcoded, the ubuntu.css file must be replaced with this pop.css file. This breaks ubuntu-session, causing it to have a different shell theme than expected. What would be desirable is for the GDM3 CSS file to be hardcoded to gdm.css, which would be a symlink to the correct stylesheet for the flavor. This would allow multiple GNOME Shell sessions to be installed at the same time. To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1715722/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
