diff options
| author | tv <tv@shackspace.de> | 2015-05-19 22:03:54 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-05-19 23:17:20 +0200 |
| commit | b57585d3e5c2351d1fd5ddafca03edc62ad5292a (patch) | |
| tree | 8a35532dfaf764fb844c58310edfd894b4f084e3 | |
| parent | 0c6466f23b1769866374d33046665bcfed0488f3 (diff) | |
prelude: nixpkgs_dir=/var/nixpkgs
| -rw-r--r-- | lib/prelude.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/prelude.sh b/lib/prelude.sh index e8c392bf3..cd85b1397 100644 --- a/lib/prelude.sh +++ b/lib/prelude.sh @@ -37,7 +37,7 @@ clone_or_update() {( deploy() {( main=$1 target=$2 - nixpkgs_dir='/var/tmp/nixpkgs' + nixpkgs_dir=/var/nixpkgs # TODO make configurable git_url=$(nixpkgs_url $main) git_rev=$(nixpkgs_rev $main) |