Comment puis-je convertir plusieurs fichiers .jpg en fichiers .eps sous linux?
Lorsque vous utilisez la conversion d'ImageMagick, il est recommandé d'utiliser le format eps2. Cela rend le fichier eps résultant beaucoup plus petit car il utilise l'algorithme de compression JPEG (DCT).
Donc, pour convertir a.jpg
à a.eps
faire:
convert a.jpg eps2:a.eps
Bien sûr, cela peut être utilisé dans un script Shell, pour convertir plusieurs JPG en EPS.
Vous pouvez utiliser de nombreux outils. Je recommande d'utiliser la commande convert
d'ImageMagick.
#!/bin/bash
# example 1
convert myfile.jpg myfile.eps
# example 2
for file in file1.jpg file2.jpg file3.jpg; do
echo convert "$file" $(echo "$file" | sed 's/\.jpg$/\.eps/')
done
Pour exécuter l'exemple 2, vous devez supprimer le echo
à l'intérieur de la boucle for
-. Assurez-vous que les commandes qu'il génère sont correctes avant supprimez-le.
Selon user1958943, j'ai également utilisé l'outil de conversion. Cependant, comme le format eps3 donne une compression encore meilleure avec une qualité similaire à eps2, je suggère d'utiliser
convert a.jpg eps3:a.eps
À propos, cet outil fonctionne également pour les fichiers png (et aussi pour d'autres) ...
Est-ce que quelqu'un sait quelle compression eps3 utilise?
ImageMagick convert peut le faire pour vous.
Je le fais souvent et parfois sur Windows. Par conséquent, j'ai écrit un petit convertisseur en ligne qui utilise convert:
J'espère que cela peut aussi aider les autres.