1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Template: mksh/sh
Type: boolean
Default: false
_Description: Install mksh as /bin/sh?
Bash is the default /bin/sh on a Debian system. However, since the Debian
policy requires all shell scripts using /bin/sh to be POSIX compliant, any
shell that conforms to POSIX can serve as /bin/sh. Since mksh is POSIX
compliant, it can be used as /bin/sh. You may wish to do this because
mksh is faster and smaller than bash.
Template: mksh/cannot
Type: error
_Description: Cannot install mksh as /bin/sh!
Because dash has already been configured to be installed as /bin/sh, mksh
cannot be installed as /bin/sh. Use "dpkg-reconfigure dash" to change dash
to not install as /bin/sh, then "dpkg-reconfigure mksh" to install mksh there.
|
