Bagaimana cara mengkonversi file GIF ke PNG atau JPEG di OS X dengan baris perintah?

15

Saya memiliki file 10k + GIF yang perlu saya konversi ke PNG atau JPEG lebih disukai menggunakan baris perintah sehingga saya dapat mengotomatiskannya. Saya tidak khawatir kehilangan kualitas atau transparansi, hanya perlu menyiapkan file untuk perangkat lunak OCR.

Saat mencoba menggunakan convertformat, saya mendapatkan ini:

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

Ada ide?

Sherzod
sumber

Jawaban:

34

Tidak perlu alat tambahan apa pun. OS X memiliki sips, yang dapat mengkonversi gambar ke (hampir) format apa pun.

Misalnya, untuk mengonversi setiap .gifke .jpeg, menempatkannya ke dalam folder bernama jpegs:

mkdir jpegs
sips -s format jpeg ./*.gif --out jpegs

Atau, untuk mengonversi mereka secara rekursif menggunakan find, yang akan menempatkan file JPEG dengan nama yang sama dengan GIF di sebelahnya.

find . -iname "*.gif" -type f -exec sh -c 'sips -s format jpeg "$0" --out "${0%.gif}.jpeg"' {} \;
slhck
sumber
man sips ← Halaman manual ini untuk Mac OS X versi 10.9: sips - sistem pemrosesan gambar skrip.
iolsmit
2

Pertanyaan yang agak lama saya lihat, tetapi sayangnya solusi slhck dua tidak bekerja untuk saya (OS X Mountain Lion, bash) saya mendapatkan kesalahan.

Yang ini berfungsi untuk saya (setelah cd my_dir_with_gifperintah tentu saja):

for i in *.gif; do sips -s format jpeg "${i}" --out "${i%gif}jpg"; done

Dan jika Anda ingin mengatur kompresi jpg juga ( [low|normal|high|best|<percent>])

for i in *.gif; do sips -s format jpeg -s formatOptions 100 "${i}" --out "${i%jpg}png"; done

Untuk format lain Anda harus mengubah ekstensi (mengingat format teguk jpg selalu jpeg, ekstensi bisa jadi .jpg)

Ini menggunakan sipstetapi ImageMagick lebih baik. Ini adalah alat yang hebat, dan saya sarankan untuk menginstalnya menggunakan homepagebrew see brew

Steve
sumber
0

Lihat GraphicsMagick atau ImageMagick , mereka memiliki alat-alat baris perintah untuk semua jenis file grafik (termasuk hal-hal yang membosankan seperti mengubah ke format lain).

vonbrand
sumber