Re: L'outil tee

On 2006-05-10 23:56:26 +0200, Laurent Coustet wrote:

Pour ceux qui ne conaissent pas l'outil tee, c'est un outil très pratique qui permet de rediriger dans un fichier, et en meme temps sur stdout une sortie.

J'avais commencé à faire quelque chose du même genre en Perl, mais en plus puissant. Je mets l'archive en attachement. Chez moi, make est une fonction zsh: make () { command make -j2 "$@" 2>&1 | eet -f make -m bold } (j'aurais pu écrire "|&" à la place de "2>&1 |"). -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA