source htmx by nix (#268)

Reviewed-on: Fediversity/Fediversity#268
Reviewed-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Co-authored-by: Kiara Grouwstra <kiara@procolix.eu>
Co-committed-by: Kiara Grouwstra <kiara@procolix.eu>

npins/sources.json

@@ -1,5 +1,20 @@
 {
   "pins": {
+    "htmx": {
+      "type": "GitRelease",
+      "repository": {
+        "type": "GitHub",
+        "owner": "bigskysoftware",
+        "repo": "htmx"
+      },
+      "pre_releases": false,
+      "version_upper_bound": null,
+      "release_prefix": null,
+      "version": "v2.0.4",
+      "revision": "b82cf843e47e575dd8c2ad8fee547d8e2c3bb87f",
+      "url": "https://api.github.com/repos/bigskysoftware/htmx/tarball/v2.0.4",
+      "hash": "1c4zm3b7ym01ijydiss4amd14mv5fbgp1n71vqjk4alc35jlnqy2"
+    },
     "nix-unit": {
       "type": "Git",
       "repository": {

panel/.gitignore

@@ -10,4 +10,5 @@ __pycache__
 db.sqlite3
 src/db.sqlite3
 src/static
+src/panel/static/htmx*
 .credentials

panel/default.nix

@@ -29,6 +29,7 @@ in
       DATABASE_URL = "sqlite:///${toString ./src}/db.sqlite3";
     };
     shellHook = ''
+      ln -sf ${sources.htmx}/dist/htmx.js src/panel/static/htmx.min.js
       # in production, secrets are passed via CREDENTIALS_DIRECTORY by systemd.
       # use this directory for testing with local secrets
       mkdir -p $CREDENTIALS_DIRECTORY

panel/nix/package.nix

@@ -2,6 +2,7 @@
   lib,
   sqlite,
   python3,
+  sources ? import ../../npins,
 }:
 let
   src =
@@ -58,5 +59,6 @@ python3.pkgs.buildPythonPackage {
     cp -v ${src}/manage.py $out/bin/manage.py
     chmod +x $out/bin/manage.py
     wrapProgram $out/bin/manage.py --prefix PYTHONPATH : "$PYTHONPATH"
+    cp ${sources.htmx}/dist/htmx.min.js* $out/${python3.sitePackages}/panel/static/
   '';
 }

panel/src/panel/static/htmx.min.js

@@ -0,0 +1 @@
+/home/vg/src/Fediversity/nix/store/mwqqk0qmldzvv4xj9kq2lbah2flhc44z-source/dist/htmx.js

panel/src/panel/templates/base.html

@@ -5,6 +5,7 @@
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
     <meta http-equiv="X-UA-Compatible" content="IE=edge" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <script src="/static/htmx.min.js"></script>
 
     {% load compress %}
     {% compress css %}