8 Fév
2006
8 Fév
'06
12:01
On 2006-02-08 11:32:10 +0100, Marc Chantreux wrote:
pour le moment, j'ai ma petite page (http://khatar.phear.org/code.html) ou je fous mes tips. Nous devons être plusieurs (au moins Vincent et toi) sur cette liste a faire pareil, ce qui n'est pas la solution optimale.
Sur ta page, pour les fichiers par paquets de 1000, il y a aussi zargs, qui a l'avantage de ne pas avoir à utiliser de pipe. Dans les shells, tu peux mentionner psh. Pour le cmp pur zsh: [[ "$(<fichier1)" == "$(<fichier2)" ]] est peu efficace sur de gros fichiers. -- 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