Method append

scripts/bootstrap_proxy.py:82–83

(self,name,env)

        self.envs[name] = env

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

    def delete(self,name):
        self.history.remove(name)