Re: commande sh sous Ubuntu

Top Page

Reply to this message
Author: prc
Date:  
To: guilde
Subject: Re: commande sh sous Ubuntu
----- "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