diff options
| author | Graham Christensen <graham.christensen@target.com> | 2018-08-17 10:29:32 -0400 |
|---|---|---|
| committer | Graham Christensen <graham.christensen@target.com> | 2018-08-17 11:27:34 -0400 |
| commit | 02098d2073e2f7c06b6d05c6749ae2b76b7f57d5 (patch) | |
| tree | b5e37e17af5e63f484d44259efbcbcbc30dd10af /tests/fetchGit.sh | |
| parent | d277442df53a01343ba7c1df0bbd2a294058dcba (diff) | |
fetchGit: use a better caching scheme
The current usage technically works by putting multiple different
repos in to the same git directory. However, it is very slow as
Git tries very hard to find common commits between the two
repositories. If the two repositories are large (like Nixpkgs and
another long-running project,) it is maddeningly slow.
This change busts the cache for existing deployments, but users
will be promptly repaid in per-repository performance.
Diffstat (limited to 'tests/fetchGit.sh')
| -rw-r--r-- | tests/fetchGit.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/fetchGit.sh b/tests/fetchGit.sh index 530ac7bb8..4c46bdf04 100644 --- a/tests/fetchGit.sh +++ b/tests/fetchGit.sh @@ -9,7 +9,7 @@ clearStore repo=$TEST_ROOT/git -rm -rf $repo ${repo}-tmp $TEST_HOME/.cache/nix/git +rm -rf $repo ${repo}-tmp $TEST_HOME/.cache/nix/gitv2 git init $repo git -C $repo config user.email "foobar@example.com" @@ -129,7 +129,7 @@ path5=$(nix eval --raw "(builtins.fetchGit { url = $repo; ref = \"dev\"; }).outP # Nuke the cache -rm -rf $TEST_HOME/.cache/nix/git +rm -rf $TEST_HOME/.cache/nix/gitv2 # Try again, but without 'git' on PATH NIX=$(command -v nix) |