OpenVim resides in GitHub Pages

egaga · egaga · commit fc9b00b38ce1 · 2024-08-16T14:22:10.000+03:00
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml
@@ -0,0 +1,38 @@
+name: "Deploy to GitHub pages"
+
+on:
+  push:
+    branches:
+      - main
+      - github-pages
+
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Echo version
+        run: |
+          version=$(git rev-parse HEAD)        
+          echo "Replacing version number in *.html with $version"
+      - name: Replace version
+        run: |
+          mkdir production
+          cp -R -v *.html css js production 
+          version=$(git rev-parse HEAD)        
+          echo "Replacing version number in *.html with $version"
+          perl -pi -e 's/{VERSION}/'$version'/g' production/*.html
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: ./production
diff --git a/docs/README.md b/docs/README.md
@@ -0,0 +1 @@
+Here comes the production code.
diff --git a/index.html b/index.html
@@ -8,7 +8,7 @@
   <link rel="stylesheet" type="text/css" href="css/virtual_keyboard.css?version={VERSION}" />
   <link rel="icon" type="image/png" href="icon.png"/>
 
-  <title>Interactive Vim tutorial</title>
+  <title>OpenVim - Interactive Vim tutorial</title>
 
   <!-- GENERAL (mostly) -->
   <script type="text/Javascript" src="js/engine/messager.js?version={VERSION}"></script>
@@ -58,7 +58,7 @@
 
 <body>
   <div class="navigation">
-    <a href="tutorial.html" class="selected">Tutorial</a>
+    <a href="index.html" class="selected">Tutorial</a>
     <a href="sandbox.html">Practice</a>
     <a href="development.html">Development</a>
     <!--
diff --git a/problems.html b/problems.html
@@ -54,7 +54,7 @@
 <body>
   <div class="navigation">
     <a href="development.html">Home</a>
-    <a href="tutorial.html">Tutorial</a>
+    <a href="index.html">Tutorial</a>
     <a href="problems.html" class="selected">Problems</a>
     <a href="sandbox.html">Sandbox</a>
     <a href="twosandboxes.html">Two sandboxes</a>
diff --git a/sandbox.html b/sandbox.html
@@ -55,7 +55,7 @@
 
 <body>
   <div class="navigation">
-    <a href="tutorial.html">Tutorial</a>
+    <a href="index.html">Tutorial</a>
     <a href="sandbox.html" class="selected">Practice</a>
     <a href="development.html">Development</a>
     <!--
diff --git a/twosandboxes.html b/twosandboxes.html
@@ -50,7 +50,7 @@
 <body>
   <div class="navigation">
     <a href="development.html">Home</a>
-    <a href="tutorial.html">Tutorial</a>
+    <a href="index.html">Tutorial</a>
     <a href="sandbox.html">Sandbox</a>
     <a href="twosandboxes.html" class="selected">Two sandboxes</a>
     <a href="tests.html">Testing</a>
