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/grub/config/extra | |
| 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/grub/config/extra')
0 files changed, 0 insertions, 0 deletions