[Top][All Lists]

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

04/04: lint: The CPE name of GRUB is "grub2".

From: Ludovic Courtès
Subject: 04/04: lint: The CPE name of GRUB is "grub2".
Date: Sun, 20 Dec 2015 21:34:36 +0000

civodul pushed a commit to branch master
in repository guix.

commit c5b303c57fcc1082b28a65528893202c252b0b63
Author: Ludovic Courtès <address@hidden>
Date:   Sun Dec 20 22:19:05 2015 +0100

    lint: The CPE name of GRUB is "grub2".
    Reported by Leo Famulari.
    * guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
 guix/scripts/lint.scm |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm
index 338c7e8..f296f8a 100644
--- a/guix/scripts/lint.scm
+++ b/guix/scripts/lint.scm
@@ -587,6 +587,7 @@ be determined."
 Common Platform Enumeration (CPE) name."
   (match name
     ("icecat"   "firefox")                        ;or "firefox_esr"
+    ("grub"     "grub2")
     ;; TODO: Add more.
     (_          name)))

reply via email to

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