From 18a2237a8ef4129c477301ad567baa524aaa231e Mon Sep 17 00:00:00 2001 From: Ryan Ofsky Date: Thu, 2 Oct 2025 11:07:34 -0400 Subject: [PATCH] ci: Replace nix-shell with equivalent nix develop command Functionality is the same, this just shows nicer status information when building locally. (For even nicer status information you can install nix-output-monitor and replace "nix develop" with "nom develop") --- ci/scripts/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/scripts/run.sh b/ci/scripts/run.sh index 11b91845..4b780831 100755 --- a/ci/scripts/run.sh +++ b/ci/scripts/run.sh @@ -10,4 +10,4 @@ set -o errexit -o nounset -o pipefail -o xtrace [ "${CI_CONFIG+x}" ] && source "$CI_CONFIG" -nix-shell --pure --keep CI_CONFIG --keep CI_CLEAN "${NIX_ARGS[@]+"${NIX_ARGS[@]}"}" --run ci/scripts/ci.sh shell.nix +nix develop --ignore-environment --keep CI_CONFIG --keep CI_CLEAN "${NIX_ARGS[@]+"${NIX_ARGS[@]}"}" -f shell.nix --command ci/scripts/ci.sh