more monkey-patching for the website
authorRalf Jung <post@ralfj.de>
Sat, 22 Aug 2015 19:37:51 +0000 (21:37 +0200)
committerRalf Jung <post@ralfj.de>
Sat, 22 Aug 2015 19:37:51 +0000 (21:37 +0200)
pycco-rs

index 7ac0b898f776e7b72521483633fbf3bc40aef53e..072dd2e338b654dc7db17efa17579848f3b4395d 100755 (executable)
--- a/pycco-rs
+++ b/pycco-rs
@@ -19,9 +19,14 @@ for ext, l in pycco.main.languages.items():
     l["lexer"] = lexers.get_lexer_by_name(l["name"])
 # and monkey-patch for a custom CSS file
 html_src = pycco_resources.html
-marker = '<link rel="stylesheet" href="{{ stylesheet }}">'
+
+css_marker = '<link rel="stylesheet" href="{{ stylesheet }}">'
 custom_css = '<link rel="stylesheet" href="pycco_custom.css">'
-patched_html = html_src.replace(marker, marker+custom_css, 1)
+patched_html = html_src.replace(css_marker, css_marker+custom_css, 1)
+
+title_marker = '<title>'
+patched_html = html_src.replace(title_marker, title_marker + 'Rust-101: ', 1)
+
 pycco.main.pycco_template = pycco.main.template(patched_html)
 
 pycco.main.main()