diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 23:38:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 23:41:19 +0200 |
| commit | 7b3f56f5d7f4d2bb936e1579ed442e7f5b080abd (patch) | |
| tree | 211febb6360ac4d6f6a2f14d3c1714ec0940cd89 /.gitignore | |
| parent | 46a9d88512a706f310e91370b6313085da040d2d (diff) | |
pull: Use ~/.cache/guix/checkouts instead of ~/.cache/guix/pull.
Previously 'channel-news-for-commit' would use the former while 'guix
pull' would use the latter. Consequently, the first 'guix pull -N'
would clone the repository anew.
* guix/scripts/pull.scm (guix-pull): Remove 'cache', and leave
%REPOSITORY-CACHE-DIRECTORY to its default value.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions