11 def alleps2gif(setupok,keepeps=True,tareps=True,tardir="MuonRecRTT_epsimages"):
14 print (
"Usage: " + sys.argv[0] +
" [directory]")
22 for epsname
in os.listdir(
"."):
23 if epsname.count(old):
25 gifname = epsname.replace(old,new)
26 commands = [
"pstopnm -ppm -xborder 0 -yborder 0 -portrait -xsize=1000 " + epsname ,
27 "ppmtogif " + epsname +
"001.ppm > " + gifname ,
28 "rm " + epsname +
"001.ppm" ]
30 commands.append(
"rm " + epsname)
31 for command
in commands:
32 print (
"Running: " + command)
35 if keepeps
and tareps:
36 commands = [
"mkdir " + tardir ,
37 "mv *" + old +
" " + tardir ,
38 "tar -czf " + tardir +
".tar.gz " + tardir ,
40 for command
in commands:
41 print (
"Running: " + command)
45 print (
"No " + old +
" files in directory.")
55 print (
"Changing to directory: " + sys.argv[1])
59 print (
"Move to directory " + sys.argv[1] +
" failed.")
62 print (
"Running in current directory.")