docs: def do_session(self, args):
          """Print current session information"""
          filename = 'Not specified' if self.__session.filename is None \
              else self.__session.filename
  
          print('{0: <30}: {1}'.format('Filename', filename))