Comment 4 for bug 1715722

Quoting from #ubuntu-devel on IRC:

jackpot51 | didrocks: I am going to work on https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1715722 with the method I described first, having alternatives for a gdm.css file that is the stylesheet of GDM
jackpot51 | It is critical to our Beta release that we have a reliable method of overriding the GDM theme, so the alternatives method seems to be the best way to go. We can talk about further improvement and upstreaming after 17.10
jackpot51: I think it will need a FFe though
jackpot51 | In my mind, it isn't a feature
jackpot51 | It is a bug fix for a bug affecting flavors of Ubuntu using GNOME
didrocks | jackpot51: you meant "deratives" rather than flavors? I don't know of any existing 17.10 flavors using gdm?
jackpot51 | Yes, that is what I mean - derivatives
jackpot51 | If this becomes too complicated, we would have to fork the gnome-shell package to accomplish what we need to in Pop before 17.10
jackpot51 | So I would like to do this as simply and smartly as possible
didrocks | jackpot51: I guess you just need to talk to the release team telling us you want to do a temporary override until we get a better upstreamable solution and see if they consider it's a FF breakage or not
Laney | where does this pop.css come from?
jackpot51 | Ok, that sounds good to me
Laney | I think it'd be easier for you to dpkg-divert the ubuntu one away if this is a temporary solution for one derivative only