nargo needs git. Should set HOME in container.

aztec-up/bin/.aztec-run

@@ -34,15 +34,17 @@ if [[ $PWD != ${HOME}* ]]; then
 fi
 
 # Set up host.docker.internal alias on Linux, just like it is on mac.
-UNAME=$(uname -s)
-if [[ -z "${SKIP_NET:-}" && "$UNAME" == "Linux" ]]; then
-  if docker info 2>/dev/null | grep -q rootless; then
-    # We're in rootless docker. Probe for the host ip and use that.
-    ip=$(hostname -I | head | tr -d ' ')
-    warn "WARNING: Running within rootless docker. Using $ip as host ip. Ensure listening services are listening on this interface."
-    DOCKER_HOST_BINDS="$DOCKER_HOST_BINDS --add-host host.docker.internal:$ip"
-  else
-    DOCKER_HOST_BINDS="$DOCKER_HOST_BINDS --add-host host.docker.internal:host-gateway"
+if [ -z "${SKIP_NET:-}" ]; then
+  UNAME=$(uname -s)
+  if [ "$UNAME" == "Linux" ]; then
+    if docker info 2>/dev/null | grep -q rootless; then
+      # We're in rootless docker. Probe for the host ip and use that.
+      ip=$(hostname -I | head | tr -d ' ')
+      warn "WARNING: Running within rootless docker. Using $ip as host ip. Ensure listening services are listening on this interface."
+      DOCKER_HOST_BINDS="$DOCKER_HOST_BINDS --add-host host.docker.internal:$ip"
+    else
+      DOCKER_HOST_BINDS="$DOCKER_HOST_BINDS --add-host host.docker.internal:host-gateway"
+    fi
   fi
 fi
 
@@ -64,7 +66,7 @@ for i in "${!args[@]}"; do
     fi
 done
 
-DOCKER_ENV=""
+DOCKER_ENV="-e HOME=$HOME"
 for env in ${ENV_VARS_TO_INJECT:-}; do
   # First substitute any reference to localhost with our host gateway.
   env=${env//localhost/host.docker.internal}

aztec-up/bin/aztec-nargo

@@ -1,4 +1,10 @@
 #!/usr/bin/env bash
 set -euo pipefail
 
-$(dirname $0)/.aztec-run aztecprotocol/noir $@
+export SKIP_NET=1
+
+if [ "${1:-}" == "lsp" ]; then
+  docker run -i -v $HOME:$HOME -e HOME=$HOME aztecprotocol/noir $@
+else
+  $(dirname $0)/.aztec-run aztecprotocol/noir $@
+fi

noir/Dockerfile

@@ -3,9 +3,10 @@ WORKDIR /usr/src/noir
 COPY . .
 RUN ./scripts/bootstrap_native.sh
 
-# When running the container, mount the users home directory to /root
+# When running the container, mount the users home directory to same location.
 FROM ubuntu:lunar
 # Install Tini as nargo doesn't handle signals properly.
-RUN apt-get update && apt-get install -y tini && rm -rf /var/lib/apt/lists/* && apt-get clean
+# Install git as nargo needs it to clone.
+RUN apt-get update && apt-get install -y git tini && rm -rf /var/lib/apt/lists/* && apt-get clean
 COPY --from=0 /usr/src/noir/target/release/nargo /usr/src/noir/target/release/nargo
 ENTRYPOINT ["/usr/bin/tini", "--", "/usr/src/noir/target/release/nargo"]