blob: 35d2f9516aec7993bb756e2bc052be3f5d22b3b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
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)
|