Як конвертувати файли GIF в PNG або JPEG в OS X за допомогою командного рядка?

У мене є 10k + GIF файлів, які мені потрібно конвертувати в PNG або JPEG, бажано, використовуючи командний рядок, щоб я міг автоматизувати його. Мене не турбує втрата якості або прозорості, просто потрібно підготувати файли для програм OCR.

При спробі використання convertformatя отримую таке:

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

Будь-які ідеї?

Не потрібно ніяких додаткових інструментів. OS X має sips, який може конвертувати зображення у (майже) будь-який формат.

Наприклад, щоб перетворити кожен .gifв .jpeg, поміщаючи їх в папку під назвою jpegs:

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

Або рекурсивно перетворити їх за допомогою find, який розмістить файл JPEG з тим самим іменем, як GIF.

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

Я бачу досить старе питання, але, на жаль, рішення другого рішення slhck для мене не працює (OS X Mountain Lion, баш), я отримую помилку.

Цей для мене працює (після cd my_dir_with_gifкоманди курсу):

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

І якщо ви також хочете встановити стиснення jpg ( [low|normal|high|best|<percent>])

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

Для інших форматів слід змінити розширення (пам’ятаючи, що формат jpg sips завжди jpeg, розширення може бути .jpg)

Це з використанням, sipsале ще краще ImageMagick. Це чудовий інструмент, і я пропоную встановити його за допомогою домашньої сторінкиbrew see brew

Ознайомтеся з GraphicsMagick або ImageMagick , у них є інструменти командного рядка для всілякого керування графічними файлами (включаючи нудні речі, такі як перетворення в інший формат).