Method add

scripts/bootstrap_proxy.py:78–80

(self,name,env)

        self.envs = pickle.load(open(f, "rb"))

    def add(self,name,env):
        self.history.append(name)
        self.envs[name] = env

    def append(self,name,env):
        self.envs[name] = (self.envs[name] + ":" + env)