Add publication time to web page

cowuake · May 1, 2024 · 5e2291d · 5e2291d
1 parent e986ed3
commit 5e2291d
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,6 +11,8 @@ on:
       - 'schemius-native/**'
       - 'schemius-web/src/**'
       - 'schemius-web/Cargo.toml'
+    paths-ignore:
+      - '.github/workflows/*-web.yml'
 
 jobs:
   build-and-test:

diff --git a/.github/workflows/publish-web.yml b/.github/workflows/publish-web.yml
@@ -48,7 +48,10 @@ jobs:
         working-directory: ${{ env.WORK_DIR }}
 
       - name: Generate final web page
-        run: cp $WEB_PAGE_SOURCE $WEB_PAGE
+        run: |
+          cp $WEB_PAGE_SOURCE $WEB_PAGE
+          sed -i "s/DATETIME_PLACEHOLDER/$(date -u '+Published %F %H:%M:%S UTC')/g" ${{ env.WORK_DIR }}/${{ env.WEB_PAGE_JS }}
+
         working-directory: ${{ env.WORK_DIR }}
 
       - name: Upload artifacts

diff --git a/schemius-web/schemius.js b/schemius-web/schemius.js
@@ -19,7 +19,7 @@ class Schemius {
       ███████║╚██████╗██║  ██║███████╗██║ ╚═╝ ██║██║╚██████╔╝███████║
       ╚══════╝ ╚═════╝╚═╝  ╚═╝╚══════╝╚═╝     ╚═╝╚═╝ ╚═════╝ ╚══════╝
 
-        Welcome to Schemius!
+        Welcome to Schemius!      [DATETIME_PLACEHOLDER]
           Press [Ctrl + H]        to show this welcome message
           Press [Ctrl + K]        to show essential keymap
           (environment-bindings)  -> Show bindings in current env