Matt DeVillier de0ce98da3 etc/functions, gpg-gui: 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 <matt.devillier@puri.sm>
2021-10-15 14:42:15 -04:00
..
2017-04-05 17:59:49 -04:00
2017-09-02 14:13:29 -04:00
2021-08-07 17:40:13 +00:00
2020-05-15 18:52:11 +01:00