sh
ShellPaquet : dash
Sur Debian et Ubuntu, /bin/sh est dash, pas bash. Un script qui commence par #!/bin/sh et utilise [[, des tableaux ou source échoue — en production, pas dans le terminal où vous l'avez testé.
Ce que font ses options dans les leçons
Tiré du même glossaire que les leçons affichent sous leurs commandes ; les deux ne peuvent pas se contredire.
sh -s- Lit le script depuis l'entrée standard, ce qu'attend un
curl … | sh. Ce qui suit--est passé au script.