aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2023-02-03 17:05:10 +0100
committerKarel Kočí <cynerd@email.cz>2023-02-05 10:48:39 +0100
commitfe9c54e3c6e5afdd7249dcb644f0c21434be9166 (patch)
tree821ca2d3f4fe0aba2e7e36dfdd5f4dd28e1f1f8f
parentd2ff0329625704d7b5ca78cd7241b60c93d277bc (diff)
downloadnixos-personal-fe9c54e3c6e5afdd7249dcb644f0c21434be9166.tar.gz
nixos-personal-fe9c54e3c6e5afdd7249dcb644f0c21434be9166.tar.bz2
nixos-personal-fe9c54e3c6e5afdd7249dcb644f0c21434be9166.zip
pkgs/dev: do not use network at all
The dev package should ensure that all my personal environments are in the store without having to check for it online.
-rwxr-xr-xpkgs/dev/dev.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/dev/dev.sh b/pkgs/dev/dev.sh
index 924b39b..adf70f8 100755
--- a/pkgs/dev/dev.sh
+++ b/pkgs/dev/dev.sh
@@ -9,8 +9,8 @@ known_shells="$(tr ':' '\n' <<<"${DEV_SHELLS:-}")"
while IFS='=' read name drv res; do
if [ "$target" == "$name" ]; then
target="$drv"
- # Note: we do not need substituters as this should be build
- nixargs+=("--no-substitute")
+ # Note: no network should be needed as this should be available
+ nixargs+=("--offline")
break
fi
done <<<"$known_shells"