diff options
| author | Leah Rowe <leah@libreboot.org> | 2021-10-30 16:13:27 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2021-10-30 16:13:27 +0100 |
| commit | ad87e84ae18c5541cf84c2ff4b3218a054ab4fbe (patch) | |
| tree | e609a61cac50371b71962d912f7a9315b89499f2 /resources/grub | |
| parent | f195282d905a378149036a01d5eeff108be5a381 (diff) | |
grub.cfg: also unroll the list of usb devices
Diffstat (limited to 'resources/grub')
| -rw-r--r-- | resources/grub/config/grub.cfg | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/resources/grub/config/grub.cfg b/resources/grub/config/grub.cfg index d56732ed..c9232c3b 100644 --- a/resources/grub/config/grub.cfg +++ b/resources/grub/config/grub.cfg @@ -117,7 +117,7 @@ menuentry 'Load Operating System (incl. fully encrypted disks) [o]' --hotkey='o #TODO: Pick better variable name scheme than ${ddev}, or find way to make it local unset ahcidev unset atadev - unset usbdev + unset usbdev if [ (ahci?) != "(ahci?)" ]; then ahcilist=(ahci*) for part in ${ahcilist}; do @@ -131,7 +131,10 @@ menuentry 'Load Operating System (incl. fully encrypted disks) [o]' --hotkey='o done fi if [ (usb?) != "(usb?)" ]; then - usbdev=(usb*) + usblist=(usb*) + for part in ${usblist}; do + usbdev="$part $usbdev" + done fi set pager=0 echo -n "Attempting to cryptomount: " |