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 image.gif image2.png
ou
~$ mogrify -format png image.gif
Pour réaliser la même opération sur un lot de fichiers :
~$ mogrify -format png *.jpg
Chaque image est convertie tout en conservant son nom de base (seule l'extension change). La commande identify -list format affiche la liste complète des formats d'image supportés.
2....
- 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