Method delete

exp_scripts/bootstrap.py:102–104

(self, name)

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

    def delete(self, name):
        self.history.remove(name)
        del self.envs[name]

    def __str__(self):
        s = ""