# HG changeset patch
# User ymh <ymh.work@gmail.com>
# Date 1770053245 -3600
# Node ID f213403ee0c891d71e3fbe04d6a2c43252279f4d
# Parent  2a447b707b65e65cf3c63556b2d6776a2cf2eab4
New version platform

diff -r 2a447b707b65 -r f213403ee0c8 .hgsubstate
--- a/.hgsubstate	Wed Sep 04 16:52:49 2024 +0200
+++ b/.hgsubstate	Mon Feb 02 18:27:25 2026 +0100
@@ -1,4 +1,4 @@
 71ceca278db9315e86748ec73ea2163596f52678 hashcut
 c69265f3d4e4a14851195f3616fcb96a9259107b metadatacomposer
-3fcce374ca5e4f1448a6f10c86646e1c9c2f6c15 platform
+4c283a58a352dc08cb5dc455bf6941a2d9d20566 platform
 1395a729018f32a19e1c6cd1f1cc370a2156beb2 platform_web
diff -r 2a447b707b65 -r f213403ee0c8 build.sh
--- a/build.sh	Wed Sep 04 16:52:49 2024 +0200
+++ b/build.sh	Mon Feb 02 18:27:25 2026 +0100
@@ -4,10 +4,10 @@
 
 pushd $SCRIPTPATH
 
-podman login -u iri -p "${REGISTRY_PASSWORD}" reg.kevin.srv.iri-research.org
+podman login -u iri -p "${REGISTRY_PASSWORD}" reg.quentin.srv.iri-research.org
 
-podman build -f docker/server/server.dockerfile -t reg.kevin.srv.iri-research.org/iri/ldt_server:latest .
+podman build -f docker/server/server.dockerfile -t reg.quentin.srv.iri-research.org/iri/ldt_server:latest .
 
-podman push reg.kevin.srv.iri-research.org/iri/ldt_server:latest
+podman push reg.quentin.srv.iri-research.org/iri/ldt_server:latest
 
 popd
diff -r 2a447b707b65 -r f213403ee0c8 shell.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Mon Feb 02 18:27:25 2026 +0100
@@ -0,0 +1,20 @@
+#{ pkgs ? import <nixpkgs> }:
+#  pkgs.mkShell {
+#    # nativeBuildInputs is usually what you want -- tools you need to run
+#    nativeBuildInputs = [ pkgs.nodejs ];
+#}
+with import <nixpkgs> {};
+
+stdenv.mkDerivation {
+    name = "node";
+    buildInputs = [
+        jq
+        nodejs
+        python3
+        mercurial
+    ];
+    shellHook = ''
+        export PATH="$PWD/node_modules/.bin/:$PATH"
+        alias scripts='jq ".scripts" package.json'
+    '';
+}