diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:19:05 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-20 22:34:22 +0100 |
| commit | c5b303c57fcc1082b28a65528893202c252b0b63 (patch) | |
| tree | 011bf3bc8f29bfd9379a3c75b8ac9782d435e360 | |
| parent | 724a7d9c7416b53da5ab3d522bf6d7d3ffa3cc5e (diff) | |
| download | guix-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.scm | 1 |
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))) |