Verified Commit 03e10d75 authored byBrowse files
etc/functions: Filter boot device options with '/dev/'
Grepping on just 'Disk' can lead to disk UUID identifier strings being added to /tmp/disklist, which then fail to parse later on. Avoid this by grepping on 'Disk /dev' instead. Signed-off-by: Matt DeVillier <email@example.com>