De ce poste en ligne de commande :
$ diff <(wget -q -O - URL1) <(wget -q -O - URL2)
On dirait plusieurs entrées standard mais --- si je me souviens bien de mon cours de Linux Porgramming --- ça ne peut pas être ça. Je pensais que, par définition, l'entrée standard était un flux.
Peut-être que cela a à voir avec stdin? Quelqu'un peut m'expliquer cela; peut-être fournir des liens vers la documentation.
Bonus: comment un script gérerait-il ces multiples flux? Si quelqu'un pouvait fournir un exemple Python ou Perl, ce serait très utile.
<(…)
; dans la syntaxe de substitution de processus Zsh est =(…)
.