tree 6a371107371a6ef5b85bbb6d8df7e386b3eb0935
parent dfbc9d03bc2c98729af947a294858f72a51046d3
author Antoine Musso <hashar@free.fr> 1620119645 +0200
committer Antoine Musso <hashar@free.fr> 1620404612 +0000

download_file: download to GERRIT_CACHE_HOME when set

When building a plugin as user `nobody`, download_file is unable to
write the artifacts to the cache since the user does not have a home
directory.  For a CI build I also need to be set the cache directory to
a predetermined value.

Introduce the optional `GERRIT_CACHE_HOME` environment variable to
support relocating downloaded artifacts.  When the environment variable
is not set, behavior is unchanged.

Update documentation to mention support for `GERRIT_CACHE_HOME`. While at
it, explain how to override the bazel repository and disk cache, would
have same a bit of time the first time I had to tweak them.

Change-Id: Ie4fac83928527e0e71b159b9500983234c2261ac