Re: r5769 - trunk/src/debian-edu-config/cf

[Petter Reinholdtsen <pere@hungry.com>]

[Patrick Winnertz]
> @@ -4,4 +4,4 @@
>  # as Debian bug #159771.)
>  
>  links:
> -	/bin/sh ->! /bin/ash
> +	/bin/sh ->! /bin/dash

This do not work across upgrades of the bash package.  See
/usr/share/doc/bash/README.Debian.gz to figure out how to make it
stick.  I quote:

  1. How can I make /bin/sh point to something else?

   Type

        dpkg-divert --add /bin/sh

   and then point it to whatever you want. Upgrades to bash  won't upgrade
   the /bin/sh symlink. To put /bin/sh under dpkg control again, type

        dpkg-divert --remove /bin/sh

We need to make sure we only call dpg-divert once.