summaryrefslogtreecommitdiff
path: root/include/git.sh
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-06-01 17:04:31 +0100
committerLeah Rowe <leah@libreboot.org>2024-06-01 18:12:40 +0100
commitcfc5265f5b3e0c1202606be3bcaece0010dd208d (patch)
tree061bffa8c54bb1cc57ca9f25775f3ff38a3d4bad /include/git.sh
parent42b5b58d36e087fc8e66a0e9d14bf656a8363f54 (diff)
grub.cfg: search a reduced list of devs/partitions
in practise, the machines we support don't have the option of including so many disks; 8 seems like the most reasonable default. additionally, it's unreasonable to expect *20 partitions* this hardcoding is done to avoid using *, which is slow in grub on some machines (the grub kernel always re-enumerates the devices during every operation, without caching any of it) yet, the hardcoding is also slow; balance it a bit better by searching fewer permutations, but not so few that it would likely break a lot of setups Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/git.sh')
0 files changed, 0 insertions, 0 deletions