def __init__(self, args):
self.outputfile = NameResolver.GetTmpfilePdf()
filename = NameResolver.GetLocalScript(args.filename)
self.filename = NameResolver.ReplaceWithPdf(filename)
self.__CMD = 'cp {outfile} {localfile}'
self.__CMD = self.__CMD.format(outfile=self.outputfile,
localfile=self.filename)
Info.Verbose("Pdfcopier initialization")
def __init__(self):
self.latexCompiler = Settings.latexCompiler
self.latexFlags = Settings.latexFlags
self.outputFlag = '--output-dir '
self.outputFlag += NameResolver.GetOutput()
self.filename = NameResolver.GetTmpfileTex()
self.__CMD = ' '.join([
self.latexCompiler,
self.latexFlags,
self.outputFlag,
self.filename])
Info.Verbose("Latex Runner initialization")
def SetPath(self):
Settings.plotexPath = self.__plotexPath
localPath = os.getcwd()
Settings.localPath = localPath
Settings.PID = str(os.getpid())
os.system('mkdir -p '+NameResolver.GetOutput())
def __Header(self, terminalSettings):
self.__header = \
self.__header.format(
shebang = Settings.shebang,
filename = NameResolver.GetTmpfileTex(),
terminal = terminalSettings['terminal'],
terminalOptions = ' '.join(terminalSettings['terminalOptions']),
header = "\\n".join(terminalSettings['header']))
header = "\\n".join(terminalSettings['header'])
def GetProfileList(self):
profiles = glob.glob(NameResolver.GetProfilePath()+"*.py")
profiles = [profile.split('/')[-1][:-3] for profile in profiles]
init = '__init__'
if init in profiles: profiles.remove(init)
return '\n * '.join(profiles)
def Clean():
os.system('rm -f '+NameResolver.GetOutput()+'*')
os.system('rmdir '+NameResolver.GetOutput())
def __init__(self):
self.gnuplotCMD = 'gnuplot'
self.filename = NameResolver.GetTmpfilePlt()
self.__CMD = ' '.join([self.gnuplotCMD, self.filename])
Info.Verbose("Gnuplot Runner initialization")
def __init__(self):
self.__filename = NameResolver.GetTmpfileTex()
self.__tex = ''
Info.Verbose("TeX Post-processor initialization")
def __init__(self, filename):
self.__filename = NameResolver.GetLocalScript(filename)
self.__script = ''
def __init__(self,ext='plt'):
if ext=='plt':
self.__filename = NameResolver.GetTmpfilePlt()
if ext=='tex':
self.__filename = NameResolver.GetTmpfileTex()