Add PWA Support

Author: Daltz333

source/_extensions/pwa_service.py

@@ -0,0 +1,95 @@
+import sphinx as Sphinx
+from typing import Any, Dict, List
+import os
+from docutils import nodes
+import json
+import shutil
+
+manifest = {
+    "name": "",
+    "short_name": "",
+    "theme_color": "",
+    "background_color": "",
+    "display": "standalone",
+    "scope": "/",
+    "start_url": "/index.html",
+    "icons": [],
+}
+
+
+def get_files_to_cache(outDir: str):
+    files_to_cache = []
+    for (dirpath, dirname, filenames) in os.walk(outDir):
+        dirpath = dirpath.split(outDir)[1]
+
+        # skip adding sources to cache
+        if os.sep + "_sources" + os.sep in dirpath:
+            continue
+
+        # add files to cache
+        for name in filenames:
+            if "sw.js" in name:
+                continue
+
+            dirpath = dirpath.replace("\\", "/")
+            dirpath = dirpath.lstrip("/")
+            if dirpath == "":
+                files_to_cache.append(name)
+            else:
+                files_to_cache.append(dirpath + "/" + name)
+
+    return files_to_cache
+
+
+def build_finished(app: Sphinx, exception: Exception):
+    outDir = app.outdir
+    outDirStatic = outDir + os.sep + "_static" + os.sep
+    files_to_cache = get_files_to_cache(outDir)
+
+    # dumps a json file with our cache
+    with open(outDirStatic + "cache.json", "w") as f:
+        json.dump(files_to_cache, f)
+
+    # copies over our service worker
+    shutil.copyfile(
+        os.path.dirname(__file__) + os.sep + "pwa_service_files" + os.sep + "sw.js",
+        outDir + os.sep + "sw.js",
+    )
+
+
+def html_page_context(
+    app: Sphinx,
+    pagename: str,
+    templatename: str,
+    context: Dict[str, Any],
+    doctree: nodes.document,
+) -> None:
+    app.add_js_file(
+        None,
+        body='"serviceWorker"in navigator&&navigator.serviceWorker.register("sw.js");',
+        loading_method="defer",
+    )
+    if pagename == "index":
+        context[
+            "metatags"
+        ] += '<script>"serviceWorker"in navigator&&navigator.serviceWorker.register("sw.js");</script>'
+        context[
+            "metatags"
+        ] += f'<link rel="manifest" href="_static/frcdocs.webmanifest"/>'
+
+
+def setup(app: Sphinx) -> Dict[str, Any]:
+    app.add_config_value("name", "", "html")
+    app.add_config_value("short_name", "", "html")
+    app.add_config_value("theme_color", "", "html")
+    app.add_config_value("background_color", "", "html")
+    app.add_config_value("display", "standalone", "html")
+    app.add_config_value("icons", [], "html")
+
+    app.connect("html-page-context", html_page_context)
+    app.connect("build-finished", build_finished)
+
+    return {
+        "parallel_read_safe": True,
+        "parallel_write_safe": True,
+    }

source/_extensions/pwa_service_files/sw.js

@@ -0,0 +1,34 @@
+// extend this to update the service worker every push
+// https://developer.mozilla.org/en-US/docs/Web/Progressive_web_apps/Offline_Service_workers
+var cacheName = 'js13kPWA-v1';
+
+self.addEventListener('install', function(e) {
+    e.waitUntil(
+        caches.open('frc-docs').then(function(cache) {
+            fetch('_static/cache.json')
+                .then(response => response.json())
+                .then(async (data) => {
+                    for (let i = 0; i < data.length / 10; i++) {
+                        const tofetch = data.slice(i * 10, i * 10 + 9)
+                        await cache.addAll(tofetch)
+                    }
+                 })
+                .catch(error => {
+                    console.error(error);
+            });
+        })
+    );
+});
+
+self.addEventListener('fetch', function(event) {
+  event.respondWith(
+    caches.open('frc-docs').then(function(cache) {
+      return cache.match(event.request).then(function (response) {
+        return response || fetch(event.request).then(function(response) {
+          cache.put(event.request, response.clone());
+          return response;
+        });
+      });
+    })
+  );
+});

source/_static/first-logo-256px.png

@@ -0,0 +1,21 @@
+{
+  "name": "FRC Docs",
+  "short_name": "FRC Docs",
+  "theme_color": "#003974",
+  "background_color": "#003974",
+  "display": "standalone",
+  "scope": "/",
+  "start_url": "/index.html",
+  "icons": [
+  {
+    "src": "/_static/first-logo-256px.png",
+    "type": "image/png",
+    "sizes": "256x256"
+  },
+  {
+    "src": "/_static/first-logo-512px.png",
+    "type": "image/png",
+    "sizes": "512x512"
+  }
+  ]
+}

source/_static/first-logo-512px.png

@@ -0,0 +1,18 @@
+self.addEventListener('install', function(e) {
+    e.waitUntil(
+        caches.open('frc-docs').then(function(cache) {
+            return cache.addAll([
+                '/',
+                '/index.html'
+            ]);
+        })
+    );
+});
+
+self.addEventListener('fetch', function(event) {
+    event.respondWith(
+        caches.match(event.request).then(function(response) {
+            return response || fetch(event.request);
+        })
+    );
+});

source/_static/frcdocs.webmanifest

@@ -59,6 +59,7 @@
     "_extensions.post_process",
     "_extensions.rtd_patch",
     "_extensions.localization",
+    "_extensions.pwa_service",
 ]
 
 extensions += local_extensions
@@ -112,7 +113,6 @@
 ogp_custom_meta_tags = [
     '<meta property="og:ignore_canonical" content="true" />',
     '<meta name="theme-color" content="#003974" />',
-    '<meta name="google-site-verification" content="xcmdxM0KzMYiAOeJzyF_l2Tn3AHGzPICs9_vX6q2nwM" />',
 ]
 
 # Set location of pages to be indexed by delta

source/_static/sw.js

@@ -60,8 +60,8 @@ def lqr(*args, **kwargs):
 x1 = np.array([[0]])
 x2 = np.array([[0]])
 
-K1 = lqr(sysd, np.array([[1.0 / (1.0**2)]]), np.array([[1.0 / (12.0**2)]]))
-K2 = lqr(sysd, np.array([[1.0 / (0.1**2)]]), np.array([[1.0 / (12.0**2)]]))
+K1 = lqr(sysd, np.array([[1.0 / (1.0 ** 2)]]), np.array([[1.0 / (12.0 ** 2)]]))
+K2 = lqr(sysd, np.array([[1.0 / (0.1 ** 2)]]), np.array([[1.0 / (12.0 ** 2)]]))
 
 t1 = []
 x1data = []