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. Voici un exemple très utile LOGFILE="/what/ever" function debug { $@ | tee --append ${LOGFILE} if [ "$?" != "0" ]; then echo "Error executing \`$@'" | tee --append ${LOGFILE} fi } debug make -C /mon/super/programme Voilà, a+, -- Laurent Coustet http://www.debian-fr.org/ Perso: http://ed.zehome.com/
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
participants (2)
-
Laurent Coustet -
Vincent Lefevre