From c5b303c57fcc1082b28a65528893202c252b0b63 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Sun, 20 Dec 2015 22:19:05 +0100 Subject: 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 file changed, 1 insertion(+) (limited to 'guix/scripts') diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm index 338c7e827d..f296f8a00e 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))) -- cgit v1.2.3