diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-04 23:07:03 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-12 17:56:58 +0100 |
| commit | 4736d06f78e09883bdd24186c396cdd4e6a74a6f (patch) | |
| tree | 46f4cca475f7b57dc733befc92faf51db99ca1b8 /doc/environment-gdb.scm | |
| parent | 044277f610b02c3821afa0afdc2b2b140bb92cb4 (diff) | |
challenge: Report the best narinfo URI.
* guix/scripts/substitute.scm (select-uri): Rename to...
(narinfo-best-uri): ... this, and make public. Update callers.
* guix/scripts/challenge.scm (summarize-report): Use 'narinfo-best-uri'
instead of (first (narinfo-uris ...)).
Diffstat (limited to 'doc/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions