2016-03-20 12:40:20 +01:00
|
|
|
# Overview
|
|
|
|
|
|
|
|
|
|
This directory contains some git tools used by RIOT's build system
|
|
|
|
|
|
|
|
|
|
## git-cache
|
|
|
|
|
|
|
|
|
|
Simple git caching script, from https://github.com/kaspar030/git-cache
|
|
|
|
|
If git-cache is unconfigured, the script pulls from the given remote location.
|
|
|
|
|
|
|
|
|
|
In order to set up the cache, do:
|
|
|
|
|
|
|
|
|
|
- install the git-cache binary into path.
|
|
|
|
|
This will make the script available as "git cache ...".
|
|
|
|
|
Alternatively, directly execute it.
|
|
|
|
|
- run "git cache init", which initializes a git cache in ${HOME}/.gitcache.
|
|
|
|
|
The used path can be overridden using the "GIT_CACHE_DIR" environment
|
|
|
|
|
variable.
|
|
|
|
|
The cache repository will be used to cache multiple remote repositories.
|
2016-12-27 16:29:22 +01:00
|
|
|
- add a repository to the cache: "git cache add \<URL\>
|
2016-03-20 12:40:20 +01:00
|
|
|
- whenever needed (at least once after adding a repository),
|
|
|
|
|
run "git cache update"
|
2016-12-15 10:59:47 +01:00
|
|
|
|
|
|
|
|
If the GIT_CACHE_AUTOADD environment variable is set to "1", a "git cache
|
|
|
|
|
clone" will add the repository to the cache (and immediately update) if the url
|
|
|
|
|
is not yet in the cache.
|
