----- Mail original -----
> De: "Haricophile" <haricophile@???>
> À: guilde@???
> Envoyé: Mercredi 6 Juin 2018 12:36:39
> Objet: Re: sh bash dash
>
> Ça évite les déboires quand tu as plusieurs shell, et de fait
> certains
> te recommanderaient de mettre plutôt :
> #!/bin/zsh
La guerre des Shells aura-t'elle (à nouveau) lieu ?
Étrange que je n'ai pas trouvé une liste exhaustive des Shells Unix ayant jamais existé sur Terre, mais il y a un début à:
https://en.wikipedia.org/wiki/Unix_shell#Early_shells
--
Yves Martin