Bug#766328: Make gdm3 themable via update-alternatives

2014-10-22 Thread Mike Gabriel

Package: gdm3
Severity: wishlist
Version: 3.14.0-1
X-Debbugs-Cc: debian-...@lists.debian.org

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



--

DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: +49 (1520) 1976 148

GnuPG Key ID 0x25771B31
mail: mike.gabr...@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb


pgpPA_ii4z9T7.pgp
Description: Digitale PGP-Signatur


Bug#766328: Make gdm3 themable via update-alternatives

2014-10-22 Thread Mike Gabriel

On  Mi 22 Okt 2014 11:47:44 CEST, Mike Gabriel wrote:

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.


Meaning older versions of GDMv2 and GDMv3 here, of course...

Mike



--

DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: +49 (1520) 1976 148

GnuPG Key ID 0x25771B31
mail: mike.gabr...@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb


pgpaj6zSDeKNj.pgp
Description: Digitale PGP-Signatur