• [^] # Re: Euh...

    Posté par . En réponse au journal dash vs bash. Évalué à 8.

    http://packages.debian.org/testing/shells/dash(...)

    [...]
    It can be usefully installed as /bin/sh (because it executes scripts somewhat faster than "bash")
    [...]

    c'est apparement une qualité connue de dash, mais il faut faire attention, car il existe pas mal de script qui, malgrés le « #!/bin/sh », sont en faite remplis de « bachisme » et devraient plutôt commencer par #!/bin/bash. Un moyen de s'enrendre compte et de les éditer avec vim avec la coloration syntaxique d'activée. Les bashismes dans des scripts #!/bin/sh sont notés comme des erreurs, et sont surlignés en rouge
    Par exemple:
    essayez ce script une fois avec #!/bin/sh comme shebang, puis aprés avec #!/bin/bash:

    echo ${toto%azerty}

    il faut l'enregistrer, et le réouvrir le avec vim à chaque fois