> pourquoi ils l'ont changé ?
>> dash (un shell avec juste le strict nécessaire à la norme, plus rapide)
> Comment on fait pour revenir a l'environnement normal tel que la plupart des distros la connaissent et tel que sous ubuntu 7.10 ?
Probablement en faisant un update-alternatives. Genre 'sudo update-alternatives --config sh'.
Mais de toute façon, si tu tiens à utiliser bash, lance ton script en faisant 'bash faustus.sh'. Si par contre tu veux utiliser sh, n'utilise pas de constructions qui ne sont pas dans la norme.
[^] # Re: Ce n'est pas bash
Posté par 태 (site web personnel) . En réponse au message script bash , OK sous ubuntu 7.10 mais KO sous ubuntu 8.04. Évalué à 2.
>> dash (un shell avec juste le strict nécessaire à la norme, plus rapide)
> Comment on fait pour revenir a l'environnement normal tel que la plupart des distros la connaissent et tel que sous ubuntu 7.10 ?
Probablement en faisant un update-alternatives. Genre 'sudo update-alternatives --config sh'.
Mais de toute façon, si tu tiens à utiliser bash, lance ton script en faisant 'bash faustus.sh'. Si par contre tu veux utiliser sh, n'utilise pas de constructions qui ne sont pas dans la norme.