guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

02/07: pull: Dim the commit ID when displaying news.


From: guix-commits
Subject: 02/07: pull: Dim the commit ID when displaying news.
Date: Wed, 25 Sep 2019 09:49:54 -0400 (EDT)

civodul pushed a commit to branch master
in repository guix.

commit d26c290b7dac642c39f23fd65b4eb0d10534d58d
Author: Ludovic Courtès <address@hidden>
Date:   Wed Sep 25 10:48:50 2019 +0200

    pull: Dim the commit ID when displaying news.
    
    * guix/scripts/pull.scm (display-news-entry): Dim the commit line.
---
 guix/scripts/pull.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm
index 2b7b991..0372278 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~%"



reply via email to

[Prev in Thread] Current Thread [Next in Thread]