feat: add a page listing all highlights

Former-commit-id: 621f7e411f31e8c584209d7f0a37195c3c7f1e8c

1 files changed, 12 insertions, 0 deletions

diff --git a/scripts/run_scripts.py b/scripts/run_scripts.py
new file mode 100644
index 00000000..71764a11
--- /dev/null
+++ b/scripts/run_scripts.py
@@ -0,0 +1,12 @@
+import os
+import subprocess
+import sys
+
+SCRIPTS_DIR = "scripts"
+SELF = os.path.basename(__file__)
+
+for filename in sorted(os.listdir(SCRIPTS_DIR)):
+    if filename.endswith(".py") and filename != SELF:
+        path = os.path.join(SCRIPTS_DIR, filename)
+        print(f"▶ Running {path} ...")
+        subprocess.run([sys.executable, path], check=True)