J'ai des fichiers 10k + GIF que je dois convertir en PNG ou JPEG de préférence en utilisant la ligne de commande afin de pouvoir l'automatiser. Je ne suis pas inquiet de perdre de la qualité ou de la transparence, il suffit de préparer des fichiers pour le logiciel OCR.
Lorsque j'essaie d'utiliser convertformat
, j'obtiens ceci:
Error in pixReadStreamGif: function not present
Error in pixReadStream: gif: no pix returned
Error in pixRead: pix not read
Error in pixGetDepth: pix not defined
Error in pixWrite: pix not defined
Des idées?
macos
conversion
jpeg
png
Sherzod
la source
la source
Plutôt vieille question que je vois, mais malheureusement, la solution deux du slhck ne fonctionne pas pour moi (OS X Mountain Lion, bash), j'obtiens une erreur.
Celui-ci fonctionne pour moi (après
cd my_dir_with_gif
commande bien sûr):Et si vous souhaitez également définir la compression jpg (
[low|normal|high|best|<percent>]
)Pour les autres formats, vous devez changer les extensions (rappelez-vous que le format jpg sips est toujours
jpeg
, l'extension pourrait être.jpg
)Cela utilise
sips
mais encore mieux ImageMagick. C'est un excellent outil, et je suggère de l'installer en utilisant la page d'accueil debrew
see brewla source
Découvrez GraphicsMagick ou ImageMagick , ils ont des outils en ligne de commande pour toutes sortes de manipulations de fichiers graphiques (y compris des trucs ennuyeux comme la transformation vers un autre format).
la source