On Fri, 5 Nov 1999, Olivier Delemar wrote:
>
> Le 05-Nov-99, Dinh-Tuan.Pham@??? écrivait:
> [...]
> > lire vos images GIF par un outil comme xv (disponible sous unix/linux)
> > ou gimp (disponible sous linux), puis les sauver sous format PNG.
> [...]
>
> Attention : XV n'est pas libre ; c'est un shareware. Si vous
> l'utilisez pour convertir vos GIF, et que cette conversion peut être considérée
> comme une tâche de votre travail, vous devez utiliser une version enregistrée
> de XV (~25$, je crois).
la solution est convert d'Imagemagick (qui doit être libre puisque la Debian
le considère comme tel), qui a en plus l'énorme avantage d'être en ligne de
commande :
convert machin.gif machin.png
--
Guillaume Allègre Guillaume.Allegre@??? 04 76 51 46 00-3519
« La Malepeste soit de cette homonymie ! » (G. Brassens)
Équipe Géométrie Algorithmique - LMC-IMAG Grenoble