Blame view

RIOT/dist/tools/git/README.md 986 Bytes
fb11e647   vrobic   reseau statique a...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
  # 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.
  - add a repository to the cache: "git cache add \<URL\> [\<name\>]
  - whenever needed (at least once after adding a repository),
    run "git cache update"
  
  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.