code: def set_title(self, title):
          
          if self.term not in ('linux', 'eterm-color'):  # Not supported by the Linux console.
              self.write_raw('\x1b]2;%s\x07' % title.replace('\x1b', '').replace('\x07', ''))
docs: Set terminal title.