diff options
author | Raymond Hettinger <python@rcn.com> | 2012-07-01 06:19:30 (GMT) |
---|---|---|
committer | Raymond Hettinger <python@rcn.com> | 2012-07-01 06:19:30 (GMT) |
commit | 9b8ede60c1e8567ba769458089ae60807aa12c73 (patch) | |
tree | d41cfc4b54a416b4f70a2bf3303162145241fdaa /Tools/scripts | |
parent | fd490cc0523479de87f3894f91074d8c876f7491 (diff) | |
download | cpython-9b8ede60c1e8567ba769458089ae60807aa12c73.zip cpython-9b8ede60c1e8567ba769458089ae60807aa12c73.tar.gz cpython-9b8ede60c1e8567ba769458089ae60807aa12c73.tar.bz2 |
Set title to the source filename
Diffstat (limited to 'Tools/scripts')
-rwxr-xr-x | Tools/scripts/pycolorize.py | 11 |
1 files 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 = '''\ <html> <head> <meta http-equiv="Content-type" content="text/html;charset=UTF-8"> -<title> Python Code </title> +<title> %s </title> <style type="text/css"> %s </style> @@ -82,11 +82,12 @@ default_html = '''\ </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: |