From 9b8ede60c1e8567ba769458089ae60807aa12c73 Mon Sep 17 00:00:00 2001 From: Raymond Hettinger Date: Sat, 30 Jun 2012 23:19:30 -0700 Subject: Set title to the source filename --- Tools/scripts/pycolorize.py | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/Tools/scripts/pycolorize.py b/Tools/scripts/pycolorize.py index c5c9611..6d43313 100755 --- a/Tools/scripts/pycolorize.py +++ b/Tools/scripts/pycolorize.py @@ -2,7 +2,7 @@ 'Convert Python source code to HTML with colorized markup' __all__ = ['colorize', 'build_page', 'default_css', 'default_html'] -__author__ = 'Raymond Hettinger' +__author__ = 'Raymond Hettinger' import keyword, tokenize, cgi, functools @@ -71,7 +71,7 @@ default_html = '''\ - Python Code + %s @@ -82,11 +82,12 @@ default_html = '''\ ''' -def build_page(source, html=default_html, css=default_css): +def build_page(source, title='python', css=default_css, html=default_html): 'Create a complete HTML page with colorized Python source code' css_str = '\n'.join(['%s %s' % item for item in css.items()]) result = colorize(source) - return html % (css_str, result) + title = cgi.escape(title) + return html % (title, css_str, result) if __name__ == '__main__': @@ -108,7 +109,7 @@ if __name__ == '__main__': sourcefile = args.sourcefile[0] with open(sourcefile) as f: page = f.read() - html = colorize(page) if args.standalone else build_page(page) + html = colorize(page) if args.standalone else build_page(page, title=sourcefile) if args.browser: htmlfile = os.path.splitext(os.path.basename(sourcefile))[0] + '.html' with open(htmlfile, 'w') as f: -- cgit v0.12