diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-25 10:48:50 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-25 15:46:48 +0200 |
| commit | d26c290b7dac642c39f23fd65b4eb0d10534d58d (patch) | |
| tree | bd9ac8d5cb0de7f9fac054faccec20d0abd377c9 | |
| parent | 0876e9c116125b28806286b0313ff78de5948562 (diff) | |
| download | patches-d26c290b7dac642c39f23fd65b4eb0d10534d58d.tar patches-d26c290b7dac642c39f23fd65b4eb0d10534d58d.tar.gz | |
pull: Dim the commit ID when displaying news.
* guix/scripts/pull.scm (display-news-entry): Dim the commit line.
| -rw-r--r-- | guix/scripts/pull.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm index 2b7b991b50..0372278705 100644 --- a/guix/scripts/pull.scm +++ b/guix/scripts/pull.scm @@ -249,7 +249,7 @@ PORT." (channel-news-entry-body entry)) (display-news-entry-title entry language port) - (format port (G_ " commit ~a~%") + (format port (dim (G_ " commit ~a~%")) (channel-news-entry-commit entry)) (newline port) (format port " ~a~%" |