• [^] # Re: Pipe erreur

    Posté par . En réponse au journal petite introduction à Fish. Évalué à 3.

    C'est du coup plus long à écrire.
    D'autant qu'avec bash (et probablement d'autres), on a une version encore plus courte:

    ./a.out |& grep toto