Add redirect.

aterenin · May 2, 2024 · e11e9d2 · e11e9d2
1 parent 109087c
commit e11e9d2
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -13,7 +13,7 @@ permissions:
 
 concurrency:
   group: "pages"
-  cancel-in-progress: false
+  cancel-in-progress: true
 
 jobs:
   build:
@@ -30,7 +30,7 @@ jobs:
       - name: Build website
         run: zola build
       - name: Check for server side KaTeX
-        run: grep -c "server_side_katex\s*=\s*true" config.toml | sed s/1/SERVER_SIDE_KATEX=true/ >> $GITHUB_ENV
+        run: grep -c "server_side_katex\s*=\s*true" config.toml | sed s/1/SERVER_SIDE_KATEX=true/ | sed s/0/SERVER_SIDE_KATEX=false/ >> $GITHUB_ENV
       - name: Setup Node
         uses: actions/setup-node@v4
         if: ${{ env.SERVER_SIDE_KATEX == 'true' }}

diff --git a/content/2024-05-02-vGPMP-Motion-Planning/index.md b/content/2024-05-02-vGPMP-Motion-Planning/index.md
@@ -0,0 +1,6 @@
++++
+title = "Redirect"
+template = "redirect.html"
+[extra]
+redirect_to = "http://github.com/luke-ck/vgpmp/"
++++
diff --git a/themes/academic-paper b/themes/academic-paper