ci: Replace nix-shell with equivalent nix develop command

ryanofsky · ryanofsky · commit 18a2237a8ef4 · 2025-10-02T11:07:34.000-04:00
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")
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,4 @@ set -o errexit -o nounset -o pipefail -o xtrace`
`10`	`10`
`11`	`11`	`[ "${CI_CONFIG+x}" ] && source "$CI_CONFIG"`
`12`	`12`
`13`		`-nix-shell --pure --keep CI_CONFIG --keep CI_CLEAN "${NIX_ARGS[@]+"${NIX_ARGS[@]}"}" --run ci/scripts/ci.sh shell.nix`
	`13`	`+nix develop --ignore-environment --keep CI_CONFIG --keep CI_CLEAN "${NIX_ARGS[@]+"${NIX_ARGS[@]}"}" -f shell.nix --command ci/scripts/ci.sh`