Bug#264241: Some corrections regardings statements in this bug

[Florent Rougon <florent.rougon@free.fr>]

> But following this argumentation, shouldn't maintainers simply put a
> #!/bin/bash at the top of their scripts instead of removing 
> bash-specific features?

They are free to do so as far as I am concerned. However, two advantages
of sticking to POSIX shell constructs (when it does not lead to ugly
contortions) and using /bin/sh are:
  - there are POSIX-compliant shells in Debian that are said to be
    faster than bash (cf. the package description for dash);
  - there are POSIX-compliant shells in Debian that are smaller than
    bash and as a consequence, some people using embedded systems would
    like to be able to use them exclusively on these systems, where they
    could delete bash to save space.

-- 
Florent