diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-11-27 14:48:32 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-30 17:03:03 +0100 |
commit | 35cb37ea9c1183b9cdd064ed3a1478b4dd342754 (patch) | |
tree | 3c57a3ad77240090ef3e5da92af75a65d40d587c | |
parent | 2f24b9ca8bf71be9a1446eb344bb0d5d26eff309 (diff) | |
download | guix-35cb37ea9c1183b9cdd064ed3a1478b4dd342754.tar.gz |
git: 'latest-repository-commit' logs its progress.
* guix/git.scm (latest-repository-commit): Add #:log-port and honor it.
-rw-r--r-- | guix/git.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/guix/git.scm b/guix/git.scm index d007916662..78645024c9 100644 --- a/guix/git.scm +++ b/guix/git.scm @@ -154,6 +154,7 @@ data, respectively [<branch name> | <sha1> | <tag name>]." (define* (latest-repository-commit store url #:key + (log-port (%make-void-port "w")) (cache-directory (%repository-cache-directory)) (ref '(branch . "master"))) @@ -164,11 +165,14 @@ REF is pair whose key is [branch | commit | tag] and value the associated data, respectively [<branch name> | <sha1> | <tag name>]. Git repositories are kept in the cache directory specified by -%repository-cache-directory parameter." +%repository-cache-directory parameter. + +Log progress and checkout info to LOG-PORT." (define (dot-git? file stat) (and (string=? (basename file) ".git") (eq? 'directory (stat:type stat)))) + (format log-port "updating checkout of '~a'...~%" url) (let*-values (((checkout commit) (update-cached-checkout url @@ -177,6 +181,7 @@ Git repositories are kept in the cache directory specified by (url-cache-directory url cache-directory))) ((name) (url+commit->name url commit))) + (format log-port "retrieved commit ~a~%" commit) (values (add-to-store store name #t "sha256" checkout #:select? (negate dot-git?)) commit))) |