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 | guix-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~%" |