Re: bash without importing shell functions from the environment

[Josselin Mouette <joss@debian.org>]

Juliusz Chroboczek <jch@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
: :' :
`. `'
  `-