On 2013-03-15 14:39:58 +0100, Philippe Delavalade wrote:
> Dans une commande du type
> time { command 2>&1 | tee fichier; }
> comment peut-on récupérer l'exitcode de « command » ?
Il y a $PIPESTATUS en bash et $pipestatus en zsh.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)