Bug#520774: make it easy to override theme

[Julien Cristau]

Hi Robert,

Doing some triage on the gdm bugs, I see this in your patch for gdm
theming:

On Wed, Mar 25, 2009 at 01:26:33 +0100, Robert Millan wrote:

> diff -ur gdm-2.20.9/debian/gdm.postinst gdm-2.20.9.new/debian/gdm.postinst
> --- gdm-2.20.9/debian/gdm.postinst	2009-03-25 01:22:21.000000000 +0100
> +++ gdm-2.20.9.new/debian/gdm.postinst	2009-03-25 01:24:18.000000000 +0100
> @@ -7,6 +7,14 @@
>  THIS_PACKAGE=gdm
>  DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
>  
> +if ! test -e /etc/alternatives/gdm-theme ; then
> +  ln -sf /usr/share/gdm/themes/debian-moreblue /etc/alternatives/gdm-theme
> +fi
> +
> +if ! test -e /usr/share/gdm/themes/default ; then
> +  ln -sf /etc/alternatives/gdm-theme /usr/share/gdm/themes/default
> +fi
> +
>  # creating gdm group if he isn't already there
>  if ! getent group gdm >/dev/null; then
>          addgroup --system gdm

Messing around in /etc/alternatives, really?  Pretty sure that's
update-alternatives' job, why aren't you using it?

Cheers,
Julien