Hi Mike, On Mittwoch, 22. Oktober 2014, Mike Gabriel wrote: > > yes... I need input from Wolfgang or Mike what the desired state of > > gnome- shell.css should be for the various packages to implement this > > something ;) > Currently, gdm3 is not themable in Debian as the gdm3 packages lacks > setting up alternatives.
is there a bug about this against gdm3? If not, please file one! (And yes, please you do that, as you know the details better.) > Thus, if we want to provide a Debian Edu background (or any other > adaptations of the gdm3 login screen, we need to move the main file > handling the gdm3 (gnome-shell.css) out of the way (with dpkg-divert) why not use update-alternatives? AIUI packages should use that, while dpkg- divert is more for local admins. > and place our own gnome-shell.css file into that location. > > The way I set this up for all d-e-a-<theme> packages is: > debian-edu-artwork does a dpkg-divert for gnome-shell.css to > gnome-shell.css.edu-diverted > then debian-edu-artwork places a symlink from gnome-shell.css to > gnome-shell.css.edu-diverted yes, and this fails / acts randomly as I described, as the order in which packages are installed is non deterministic. > Btw.: the switch between the different debian-edu-artwork themes (if > more then one d-e-a-<theme> package is installed) goes like this: > dpkg-reconfigure debian-edu-artwork-<theme> As explained, this is a broken hack. We need priorities (so we get deterministic behavious) and so that if you install the joy+lines-spacefun packages, lines becomes the default. And then there must be a manual way to select another theme. cheers, Holger
signature.asc
Description: This is a digitally signed message part.