'Change the command prompt'

def do_changeprompt(self, input):

    newprompt = input.strip()
    if newprompt:
        self.promptpre = newprompt
    else:
        self.promptpre = PROMPT_PRE
    self.setprompt()
