From 70e1e033c2d85ff045f60a9cdbd7742583b6a42d Mon Sep 17 00:00:00 2001 From: Florian Festi Date: Mon, 2 Jan 2023 21:12:59 +0100 Subject: [PATCH] Redirect static links to github.io docs if running as wsgi (aka the web instance). Keep statics local when running with the built-in web server. --- scripts/boxesserver | 35 ++++++++++++++++++----------------- 1 file changed, 18 insertions(+), 17 deletions(-) diff --git a/scripts/boxesserver b/scripts/boxesserver index e27b0da..d9e4bb9 100755 --- a/scripts/boxesserver +++ b/scripts/boxesserver @@ -85,6 +85,9 @@ class ThrowingArgumentParser(argparse.ArgumentParser): # Evil hack boxes.ArgumentParser = ThrowingArgumentParser # type: ignore + +static_url = "static" + class BServer: lang_re = re.compile(r"([a-z]{2,3}(-[-a-zA-Z0-9]*)?)\s*(;\s*q=(\d\.?\d*))?") @@ -216,9 +219,9 @@ class BServer: {_("Boxes - %s") % _(name)} - - - + + + {self.scripts % (len(box.argparser._action_groups)-3)} @@ -229,7 +232,7 @@ class BServer:

{_("Boxes.py")}
-self-Logo +self-Logo
@@ -281,7 +284,7 @@ class BServer: extensions=["extra"])) result.append(f'''
- +
@@ -303,9 +306,9 @@ class BServer: {_("Boxes.py")} - - - + + + """, """ {self.scripts % len(self.groups)} @@ -333,7 +336,7 @@ f""" {self.scripts % len(self.groups)}
-self-Logo +self-Logo
@@ -343,9 +346,9 @@ f""" {self.scripts % len(self.groups)} for nr, group in enumerate(self.groups): result.append(f''' - +
    ''') for box in group.generators: name = box.__name__ @@ -355,7 +358,7 @@ f""" {self.scripts % len(self.groups)} if box.__doc__: docs = " - " + _(box.__doc__) result.append(f""" -
  • {_(name)}{docs}
    • """) +
  • {_(name)}{docs}
    • """) result.append("\n
\n") result.append(f"""
@@ -541,7 +544,6 @@ f""" {self.scripts % len(self.groups)} os.remove(box.output) return (l for l in result) - if __name__=="__main__": host = '' port = 8000 @@ -565,5 +567,4 @@ if __name__=="__main__": print("BoxesServer stops.") else: application = BServer().serve - - + static_url = "https://florianfesti.github.io/boxes/static"