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.
