Hi Holger, On Mi 22 Okt 2014 10:58:28 CEST, Holger Levsen wrote:
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.)
Bug has been filed. [1]
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-divertedyes, and this fails / acts randomly as I described, as the order in which packages are installed is non deterministic.
Yeah, I get that. But the change in that dpkg diversion occurred between 0.48-1 [2] and 0.49 [3] Not between 0.49 and 0.50-1... (scratch head).Actually, I just realized that I made a mistake in the changelog entry. I mixed up dpkg-statoverride and dpkg-divert when writing the commit message / changelog entry. That's why you guys could not find that change in debian/changelog. Sorry for that!!!
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.
Hmmm... suggestions for a method here?Currently, we pull in debian-edu-artwork. This depends on debian-edu-artwork-lines | <other-themes>.
So the default is debian-edu-artwork-lines.If you install debian-edu-artwork-spacefun or debian-edu-artwork-joy, the -lines artwork gets overridden.
Mike [1] http://bugs.debian.org/766328[2] http://anonscm.debian.org/cgit/debian-edu/debian-edu-artwork.git/commit/?id=6b0ad452256832675f3c5601400dfe946af8615b [3] http://anonscm.debian.org/cgit/debian-edu/debian-edu-artwork.git/commit/?id=d35528f1aa1cfbb4758f848a0f1bb8972df3f32c
-- DAS-NETZWERKTEAM mike gabriel, herweg 7, 24357 fleckeby fon: +49 (1520) 1976 148 GnuPG Key ID 0x25771B31 mail: mike.gabriel@das-netzwerkteam.de, http://das-netzwerkteam.de freeBusy: https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb
Attachment:
pgp8Utsgjb6vq.pgp
Description: Digitale PGP-Signatur