diff options
Diffstat (limited to 'sandbox/aahz/OO/graphics_output.py')
-rw-r--r-- | sandbox/aahz/OO/graphics_output.py | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/sandbox/aahz/OO/graphics_output.py b/sandbox/aahz/OO/graphics_output.py deleted file mode 100644 index 35d2f9516..000000000 --- a/sandbox/aahz/OO/graphics_output.py +++ /dev/null @@ -1,28 +0,0 @@ -import sys -import os - -SOURCE_EXT = '.fig' - -TypeList = { - 'eps': { - 'ext': '.eps', - 'cmd': 'fig2dev -L eps %s %s' - }, - 'pdf': { - 'ext': '.pdf', - 'cmd': 'fig2dev -L pdf %s %s' - } - } - -type = TypeList[sys.argv[1]] -SourceDir = sys.argv[2] -DestDir = sys.argv[3] - -for name in os.listdir(SourceDir): - base, ext = os.path.splitext(name) - if ext == SOURCE_EXT: - src = SourceDir + '/' + name - dest = DestDir + '/' + base + type['ext'] - cmd = type['cmd'] % (src, dest) - print cmd - os.system(cmd) |