diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-11-28 13:12:39 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-28 13:30:53 +0100 |
commit | 055f052574c440aab5c9235c8277c5348c969c24 (patch) | |
tree | dcb71c7bde6433f54cb46d1fc72eab60007f04cf /gnu | |
parent | fa983b825748bedb795a8105fad53c8548ca57d3 (diff) | |
download | guix-055f052574c440aab5c9235c8277c5348c969c24.tar guix-055f052574c440aab5c9235c8277c5348c969c24.tar.gz |
ui: 'display-generation' emits a hyperlink for the generation.
* guix/ui.scm (supports-hyperlinks?): Make 'port' optional.
(display-generation): Use 'file-hyperlink' for the heading when
'supports-hyperlinks?' returns true.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions