aboutsummaryrefslogtreecommitdiff
path: root/pkgs/dev
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/dev')
-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"