extra.py 文件源码

def run(self):
        self.options['run_id'] = directives.uri(self.arguments[0])
        if not self.options.get('key'):
            self.options['key'] = self.default_key
        if not self.options.get('width'):
            self.options['width'] = self.default_width
        if not self.options.get('height'):
            self.options['height'] = self.default_height
        if not self.options.get('align'):
            self.options['align'] = 'left'
        self.options['timestamp'] = '1459857519'

        node = nodes.raw('', self.html % self.options, format='html')
        node.rawsource = self._get_raw_source()
        return [node]