aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-12-20 22:19:05 +0100
committerLudovic Courtès <ludo@gnu.org>2015-12-20 22:34:22 +0100
commitc5b303c57fcc1082b28a65528893202c252b0b63 (patch)
tree011bf3bc8f29bfd9379a3c75b8ac9782d435e360
parent724a7d9c7416b53da5ab3d522bf6d7d3ffa3cc5e (diff)
downloadguix-c5b303c57fcc1082b28a65528893202c252b0b63.tar
guix-c5b303c57fcc1082b28a65528893202c252b0b63.tar.gz
lint: The CPE name of GRUB is "grub2".
Reported by Leo Famulari. * guix/scripts/lint.scm (package-name->cpe-name): Add "grub".
-rw-r--r--guix/scripts/lint.scm1
1 files changed, 1 insertions, 0 deletions
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)))