diff options
| author | Karel Kočí <cynerd@email.cz> | 2023-02-03 17:05:10 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2023-02-05 10:48:39 +0100 |
| commit | fe9c54e3c6e5afdd7249dcb644f0c21434be9166 (patch) | |
| tree | 821ca2d3f4fe0aba2e7e36dfdd5f4dd28e1f1f8f | |
| parent | d2ff0329625704d7b5ca78cd7241b60c93d277bc (diff) | |
| download | nixos-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-x | pkgs/dev/dev.sh | 4 |
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" |