#766328 Make gdm3 themable via update-alternatives

Package:
gdm3
Source:
gdm3
Description:
GNOME Display Manager
Submitter:
Mike Gabriel
Date:
2014-10-22 10:03:09 UTC
Severity:
wishlist
#766328#5
Date:
2014-10-22 09:47:44 UTC
From:
To:
Dear package maintainers,

the current (3.14.0-1) GDM3 version in Debian is not themable
(anymore). (GNOMEv2 and GNOMEv3 used to be themable in Debian wheezy
and back in time.

Theming at the moment we (Debian Edu team) do like this:

   o use dpkg-divert on /usr/share/gnome-shell/theme/gnome-shell.css
and move it out of the way
   o place our own gnome-shell.css file there instead
   o adapt gnome-shell.css and use another background and other stylish things.

We have to use dpkg-divert here. However, it would be more elegant
(also for other gdm3 theme package provider) if gnome-shell.css was
registered with the update-alternatives system on Debian.

Adding this to the gdm3 wishlist...

Thanks,
Mike
#766328#10
Date:
2014-10-22 09:58:11 UTC
From:
To:
Meaning older versions of GDMv2 and GDMv3 here, of course...

Mike