From d1ab660c43a93f74b35ac080cf7cbfc717404e1f Mon Sep 17 00:00:00 2001 From: Lorenzo Good Date: Sun, 14 Dec 2025 23:43:37 -0500 Subject: [PATCH] Fix deploy script to call nix develop. --- machines/lebesgue/deploy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/machines/lebesgue/deploy b/machines/lebesgue/deploy index 7ed4073..18858c1 100755 --- a/machines/lebesgue/deploy +++ b/machines/lebesgue/deploy @@ -1,7 +1,7 @@ #!/usr/bin/env bash function deploy() { - nixos-rebuild $1 --flake .#default --target-host admin@lebesgue --use-remote-sudo --verbose + nix develop -c nixos-rebuild $1 --flake .#default --target-host admin@lebesgue --use-remote-sudo --verbose } nix flake update common