Non, c'est bien du bash. Tu peux tester si tu veux.
L'operateur |& permet de piper aussi stderr, et comme valgrind s'en sert pour tout…
J'ai sorti la premiere commande qui me passait par la tete, etant donne que c'est celle que j'utilise le plus frequemment en ce moment, mais ca aurait pu etre n'importe quelle redirection.
[^] # Re: Faut être punni...
Posté par mackwic . En réponse au journal 100 scripts shell UNIX. Évalué à 4.
Non, c'est bien du bash. Tu peux tester si tu veux.
L'operateur |& permet de piper aussi stderr, et comme valgrind s'en sert pour tout…
J'ai sorti la premiere commande qui me passait par la tete, etant donne que c'est celle que j'utilise le plus frequemment en ce moment, mais ca aurait pu etre n'importe quelle redirection.