J'ai donc fait un script qui converti tous les gif en png...
#!/bin/sh
for fichier in *.gif
do
echo $fichier > nom
convert $fichier `sed -e [EMAIL PROTECTED]@[EMAIL PROTECTED] nom`
done
--
Amicalement vOOotre Troumad Alias Bernard SIAUD
mon site : http://troumad.info : AD&D maths WEB sectes
Pour la liberté http://lea-linux.org http://www.eurolinux.org/index.fr.html
N'envoyez que des documents avec des formats ouverts, comme
http://fr.openoffice.org
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
