lyx_mirror/lib/scripts/pic2png_eps.py

24 lines
539 B
Python
Raw Normal View History

#!/usr/bin/python
# This script converts a raster format picture into a PNG and EPS file
import sys
import os
import os.path
if len(sys.argv) > 2:
pars = sys.argv[2]
pid = os.fork()
if pid == 0:
os.execvp("convert", ["convert", pars, sys.argv[1], os.path.splitext(sys.argv[1])[0] + ".eps"])
print "convert did not work"
os.exit(1)
os.wait()
pid = os.fork()
if pid == 0:
os.execvp("convert", ["convert", pars, sys.argv[1], os.path.splitext(sys.argv[1])[0] + ".png"])
print "convert did not work second time"
os.exit(1)
os.wait()