impr(karaxpython): add simple info line about repo url

Author: litlighilit

.github/workflows/playground.yml

@@ -11,7 +11,7 @@ on:
 
 env:
   nim-version: 'stable'
-  git-url-arg: --git.url:https://github.com/${{ github.repository }} --git.commit:master
+  git-repo-url: https://github.com/${{ github.repository }}
   deploy-dir: .gh-pages
 jobs:
   docs:
@@ -33,7 +33,8 @@ jobs:
       run: nimble install karax
     - name: buildKarax
       run: |
-        nimble buildKarax -d:homepage="${{ github.event.repository.homepage }}" \
+        nimble buildKarax \
+        -d:homepage="${{ github.event.repository.homepage }}" -d:gitRepoUrl="${{ env.git-repo-url }}" \
         -d:release --opt:size --includeJs \
         --htmlName=index 
     - name: "CNAME"

Python/karaxpython.nim

@@ -22,7 +22,8 @@ proc interactivePython(input: string): bool {. exportc, discardable .} =
   return parseCompileEval(input, lexerInst, rootCst, prevF, finished)
 
 let info = getVersionString(verbose=true)
-
+const gitRepoUrl{.strdefine.} = ""
+const repoInfoPre = "This website is frontend-only. Open-Source at "
 include karax/prelude
 import karax/kdom
 import karax/vstyles
@@ -66,6 +67,10 @@ proc createDom(): VNode =
     tdiv(class="header"):
       p(class="info"):
         text info
+      when gitRepoUrl.len != 0:
+        small: italic(class="repo-info"): # TODO: artistic
+          text repoInfoPre
+          a(href=gitRepoUrl): text "Github"
     tdiv(class="stream", id=historyContainerId):
       for line in stream:
         let (prompt, content) = line