Если вы не ограничены использованием bash, то вы можете использовать скрипт Python для преобразования всех .pdf
файлов в текущем каталоге в .png
изображения с высоким разрешением . Его можно изменить для других типов изображений ввода / вывода или использовать другие аргументы для convert
.
#! /usr/bin/env python
import os
def main():
dir_list = os.listdir('.')
for full_file_name in dir_list:
base_name, extension = os.path.splitext(full_file_name)
if extension == '.pdf': # then .pdf file --> convert to image!
cmd_str = ' '.join(['convert',
'-density 400',
full_file_name,
base_name + '.png'])
print(cmd_str) # echo command to terminal
os.system(cmd_str) # execute command
if __name__ == '__main__':
main()