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) | |
download | patches-7b3f56f5d7f4d2bb936e1579ed442e7f5b080abd.tar patches-7b3f56f5d7f4d2bb936e1579ed442e7f5b080abd.tar.gz |
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