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/services | |
| parent | fa983b825748bedb795a8105fad53c8548ca57d3 (diff) | |
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/services')
0 files changed, 0 insertions, 0 deletions