Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2023-02-24 17:56:19 +0200
committernl6720 <nl6720@gmail.com>2023-09-28 10:08:36 +0300
commit0cd0cc0c3b93e159451bca5cd880c7ca458cfb49 (patch)
tree49e1f15199d1ce5a170805683f759bffa7849e0b /.gitignore
parent8fb5246de6e72d94008006066328d39f67649ad5 (diff)
configs/*/grub/grub.cfg: do not hardcode the architecture and platform
Construct a human readable platform identifier from GRUB's built-in variables and use it in menu item descriptions. Only add the menu entries for the additional tools (UEFI shell, Memtest86+) if the files exist. Modify baseline's `grub.cfg` to closer match releng.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.