Bug#469675: mksh - what to do about /bin/sh alternatives?

[Thorsten Glaser <tg@mirbsd.de>]

Package: mksh
Version: 33.1-2
Severity: minor
Tags: goal-dash, moreinfo
Owner: debian-release@lists.debian.org

Hello!

I just saw the following:

# Switch /bin/sh to dash
  Advocate: Petter Reinholdtsen?
  Release-Team-Contact: ??
  Description: Make sure dash is installed and preseed debconf question.
   Fix bashisms.
  Bug-User: debian-release@lists.debian.org
  Bug-Tag: goal-dash
  Bug-Url: http://bugs.debian.org/cgi-bin/pkgreport.cgi?users=debian-release@lists.debian.org&tag=goal-dash
  State: confirmed

A couple of shells (including mksh) still have a mechanism to be used
as /bin/sh and there was no consensus about how to handle this when I
looked last time.

Please give me more information about how to change it to meet the
release goals of Lenny – i.e., whether the ability to use a shell
other than dash as /bin/sh is to be removed (from debconf, not by
changing the link manually), or the debconf questions and scripts
need to be adjusted.

Thanks!
//mirabilos
-- 
I believe no one can invent an algorithm. One just happens to hit upon it
when God enlightens him. Or only God invents algorithms, we merely copy them.
If you don't believe in God, just consider God as Nature if you won't deny
existence.		-- Coywolf Qi Hunt