From fe9c54e3c6e5afdd7249dcb644f0c21434be9166 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Fri, 3 Feb 2023 17:05:10 +0100
Subject: 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.
---
 pkgs/dev/dev.sh | 4 ++--
 1 file 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"
-- 
cgit v1.2.3