Re: tout piti script

je propose qqchose comme ça à la place du gunzip:

tmpfile=/tmp/$RANDOM`basename $1`
zcat $1 >$tmpfile
xv $tmpfile
rm -f $tmpfile

ce sont des accents graves sur la ligne tmpfile=...
et il n'y a pas d'espaces après $RANDOM

(je n'ai pas essayé mais ça devrait marcher...)