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()