diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-12-18 23:05:07 +0000 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-12-18 23:05:43 +0000 |
| commit | c0cb8fd82a65ef16e828fc45a65018f3d135074f (patch) | |
| tree | 5389faafb08b2e070f094e1d59728864e396d274 /user/grub/adelie-branding.patch | |
| parent | 632cf8197b95e9937322907bc8ff3bec1b78a3fd (diff) | |
| download | packages-c0cb8fd82a65ef16e828fc45a65018f3d135074f.tar.gz packages-c0cb8fd82a65ef16e828fc45a65018f3d135074f.tar.bz2 packages-c0cb8fd82a65ef16e828fc45a65018f3d135074f.tar.xz packages-c0cb8fd82a65ef16e828fc45a65018f3d135074f.zip | |
user/grub: build grub-mount utility
Diffstat (limited to 'user/grub/adelie-branding.patch')
| -rw-r--r-- | user/grub/adelie-branding.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/grub/adelie-branding.patch b/user/grub/adelie-branding.patch index 606c1e6e9..463d4bcf5 100644 --- a/user/grub/adelie-branding.patch +++ b/user/grub/adelie-branding.patch @@ -13,7 +13,7 @@ +case "x${GRUB_DISTRIBUTOR}" in + x) + OS=GNU/Linux;; -+ xAdélie|xAdelie) ++ xAdélie|xAdelie|xadelie) + OS="Adélie Linux"; + CLASS="--class adelie";; + *) |