src2png

src2png.py

#! /usr/bin/env python3

import os
import sys
import subprocess

if len(sys.argv) == 1:
    files = os.listdir('.')
else:
    files = sys.argv[1:]

for file_name in files:
    if not file_name.endswith('png'):
        output_file = file_name.split('.')[0] + '.png'
        comand = 'pygmentize -O font_size=24 -o {} {}'.format(output_file, file_name)
        print(comand)
        subprocess.call(comand.split())
        comand_2 = 'mogrify -border 3x3 {}'.format(output_file)
        print(comand_2)
        subprocess.call(comand_2.split())