Re: Pipe erreur

Retourner au contenu associé (journal : petite introduction à Fish)

[^] # Re: Pipe erreur

Posté par pachamaro le 11 avril 2018 à 09:48. En réponse au journal petite introduction à Fish. Évalué à 1.
Tout simplement en redirigeant vers /dev/stdout :
```
./a.out ^/dev/stdout | grep toto
```