----- "Christian Marillat" <marillat@???> wrote:
> bash n'étant pas Posix à 100% d'autre distribution comme Debian
> utilise
> dash.
Je suis intéressé ; tu as des exemples de non-respect de POSIX quand invoqué en tant que /bin/sh?
J'ai toujours cru que dash était utilisé dans Debian parce qu'il est léger et performant plus qu'autre chose...
--
Pierre Carrier, Technical Support Engineer
Production Support, EMEA office
Global Support Services
Red Hat, Inc.
PS : assez flagrant avec ce micro-benchmark dégueulasse...
for SHELL in dash 'bash --posix'
do echo === $SHELL ===
time $SHELL -c \
'a=0;while [ $a -lt 10000 ];do a=$(($a+1));done;echo;PID=$$;cat /proc/$PID/status' \
|grep Vm
done
=== dash ===
VmPeak: 4288 kB
VmSize: 4288 kB
VmLck: 0 kB
VmHWM: 492 kB
VmRSS: 492 kB
VmData: 192 kB
VmStk: 136 kB
VmExe: 104 kB
VmLib: 1772 kB
VmPTE: 40 kB
VmSwap: 0 kB
real 0m0.039s
user 0m0.037s
sys 0m0.001s
=== bash --posix ===
VmPeak: 106208 kB
VmSize: 106208 kB
VmLck: 0 kB
VmHWM: 1172 kB
VmRSS: 1172 kB
VmData: 204 kB
VmStk: 136 kB
VmExe: 852 kB
VmLib: 1920 kB
VmPTE: 60 kB
VmSwap: 0 kB
real 0m0.178s
user 0m0.164s
sys 0m0.007s