feat: set custom page title

scripts/.env.example

@@ -6,3 +6,4 @@ UNLOCK_PASSWORD=UNLOCK_PASSWORD
 ADMIN_NAME=admin
 ADMIN_MAIL=admin@admin
 ADMIN_PASSWORD=admin1234
+SITE_TITLE="New TNFSH Online Judge"

scripts/install.sh

@@ -38,6 +38,10 @@ if [ -z $ADMIN_PASSWORD ]; then
 	ADMIN_PASSWORD=admin1234
 fi
 
+if [ -z $SITE_TITLE ]; then
+    SITE_TITLE="New TNFSH Online Judge"
+fi
+
 # Update and upgrade
 sudo apt update
 sudo apt upgrade
@@ -111,6 +115,7 @@ DBNAME_OJ  = '${DB_NAME}'
 DBUSER_OJ  = '${DB_USERNAME}'
 DBPW_OJ    = '${DB_PASSWORD}'
 COOKIE_SEC = '${COOKIE_SEC}'
+SITE_TITLE = '${SITE_TITLE}'
 lock_user_list = []
 can_see_code_user = [1]
 unlock_pwd = ${UNLOCK_PWD}

src/utils/htmlgen.py

@@ -0,0 +1,16 @@
+import config
+
+def set_page_title(title: str, site_title: str = None):
+    if site_title is None:
+        site_title = config.SITE_TITLE
+
+    if title == "":
+        t = site_title
+    else:
+        t = f"{title} | {site_title}"
+
+    return f"""
+    <script>
+        document.title = "{t}";
+    </script>
+    """