diff options
author | Francis Rowe <info@gluglug.org.uk> | 2016-01-02 16:59:41 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2016-01-02 16:59:41 +0000 |
commit | 417361f8b794ffe433f1400e043c6bd6e9778ffc (patch) | |
tree | 7d3f73973f6f02be170aa89006f995a24c1d29f6 /resources/libreboot/patch/coreboot/33fb4cf0ffb01be8bcb6b488872c87eb50e7d77f/grub | |
parent | b17525f25651cfd2e98f25fabdb6e0786fbeb2d9 (diff) | |
download | librebootfr-417361f8b794ffe433f1400e043c6bd6e9778ffc.tar.gz librebootfr-417361f8b794ffe433f1400e043c6bd6e9778ffc.zip |
grub.cfg: eliminate use of * wildcard
This causes huge boot delays, because GRUB is extremely slow at
enumerating the list of available devices/partitions.
Diffstat (limited to 'resources/libreboot/patch/coreboot/33fb4cf0ffb01be8bcb6b488872c87eb50e7d77f/grub')
0 files changed, 0 insertions, 0 deletions