1. Conversion de format
Deux outils à votre disposition : convert et mogrify. Dans les deux cas, le fichier d'origine est conservé ; à la différence de mogrify, convert nécessitera toujours de spécifier un nom de fichier final.
Pour convertir une image GIF en PNG :
~$ convert…
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première