Add template_file to traitlets

rgaiacs · rgaiacs · commit 074a7747c35f · 2025-03-28T17:05:34.000+01:00
diff --git a/binderhub/app.py b/binderhub/app.py
@@ -143,6 +143,14 @@ def _google_analytics_deprecation(self, change):
                 f"Setting {change.owner.__class__.__name__}.{change.name} is no longer supported. Use {change.owner.__class__.__name__}.extra_footer_scripts to load Google Analytics JS directly"
             )
 
+    template_file = Unicode(
+        "page.html",
+        help="""
+        The template file to be used when rendering the web page.
+        """,
+        config=True,
+    )
+
     about_message = Unicode(
         "",
         help="""
diff --git a/binderhub/main.py b/binderhub/main.py
@@ -39,7 +39,7 @@ def get(self):
             "binderVersion": binder_version,
         }
         self.render_template(
-            "page.html",
+            self.settings["template_file"],
             page_config=self.page_config,
             extra_footer_scripts=self.settings["extra_footer_scripts"],
             opengraph_title=self.opengraph_title,

Original file line number	Diff line number	Diff line change
`@@ -39,7 +39,7 @@ def get(self):`
`39`	`39`	`"binderVersion": binder_version,`
`40`	`40`	`}`
`41`	`41`	`self.render_template(`
`42`		`- "page.html",`
	`42`	`+ self.settings["template_file"],`
`43`	`43`	`page_config=self.page_config,`
`44`	`44`	`extra_footer_scripts=self.settings["extra_footer_scripts"],`
`45`	`45`	`opengraph_title=self.opengraph_title,`