Juliusz Chroboczek <j...@pps.univ-paris-diderot.fr> wrote:
Just to make things clear -- you're advocating #!/bin/sh and running
dash
as /bin/sh?
(Likely alternatives include at least ksh and mksh, formerly pdksh.)
I think this has already happened wherever it was easy. So to
remove /bin/bash scripts, it needs either some work to remove all
bashisms, or a replacement for the most common functions. So ksh is
certainly part of the solution.
The global approach should be to make a clear separation between
software intended as login shells (bash, zsh, tcsh) and software that
can be used as script interpreters (dash, mksh… *). And eventually to
forbid using the former ones for the latter use.
(*) I intendedly omitted csh because it is extremely bad for
both use cases.
--
.''`. Josselin Mouette
: :' :
`. `'
`-
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/1411721506.8969.1486.camel@dsp0698014
