Làm cách nào để chuyển đổi tệp GIF thành PNG hoặc JPEG trong OS X bằng dòng lệnh?

Tôi có các tệp 10k + GIF mà tôi cần chuyển đổi sang PNG hoặc JPEG tốt nhất là sử dụng dòng lệnh để tôi có thể tự động hóa nó. Tôi không lo lắng về việc mất chất lượng hoặc tính minh bạch, chỉ cần chuẩn bị các tệp cho phần mềm OCR.

Khi cố gắng sử dụng convertformat, tôi nhận được điều này:

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

Có ý kiến ​​gì không?

Không cần bất kỳ công cụ bổ sung. OS X có sips, có thể chuyển đổi hình ảnh sang (gần như) bất kỳ định dạng nào.

Ví dụ: để chuyển đổi mọi .gifsang .jpeg, đặt chúng vào một thư mục có tên jpegs:

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

Hoặc, để chuyển đổi đệ quy chúng bằng cách sử dụng find, tệp này sẽ đặt tệp JPEG có cùng tên với GIF bên cạnh.

find . -iname "*.gif" -type f -exec sh -c 'sips -s format jpeg "$0" --out "${0%.gif}.jpeg"' {} \;

Tôi thấy câu hỏi khá cũ, nhưng thật không may, giải pháp hai slhck không hoạt động với tôi (OS X Mountain Lion, bash) Tôi gặp lỗi.

Điều này làm việc cho tôi (sau khi cd my_dir_with_giftất nhiên lệnh):

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

Và nếu bạn cũng muốn thiết lập nén jpg ( [low|normal|high|best|<percent>])

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

Đối với các định dạng khác, bạn nên thay đổi tiện ích mở rộng (luôn nhớ định dạng jpg từng ngụm jpeg, tiện ích mở rộng có thể .jpg)

Điều này sử dụng sipsnhưng ImageMagick thậm chí còn tốt hơn. Đó là một công cụ tuyệt vời, và tôi đề nghị để cài đặt nó bằng cách sử brewsee trang chủ brew

Hãy xem GraphicsMagick hoặc ImageMagick , họ có các công cụ dòng lệnh cho tất cả các loại tập tin đồ họa (bao gồm cả những thứ nhàm chán như chuyển đổi sang định dạng khác).