You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+9-2Lines changed: 9 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -54,11 +54,18 @@ The API functions all take revs, which can be any git rev that resolves to a com
54
54
Procured working trees are always cached on the basis of the rev's full sha, so using `procure`
55
55
repeatedly on a rev that does not resolve to a fixed sha may result in new checkouts in the cache.
56
56
57
-
### Cache directory
57
+
### Configuration
58
58
59
59
Downloaded git dirs and working trees are stored in ~/.gitlibs - this directory is just a cache and can be safely removed if needed.
60
60
61
-
The cache location can also be set with the environment variable GITLIBS.
61
+
tools.gitlibs can be configured by either environment variable or Java system property. If both are provided, the Java system property takes precedence.
62
+
63
+
| Env var | Java system property | default | description
0 commit comments