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

..

.gnupg

instruct gpg to use gpg-agent.

2019-01-29 11:16:13 -05:00

bin

etc/functions, gpg-gui: Filter boot device options with '/dev/'

2021-10-15 14:42:15 -04:00

etc

etc/functions, gpg-gui: Filter boot device options with '/dev/'

2021-10-15 14:42:15 -04:00

run/cryptsetup

[WIP] cross build json-c and cryptsetup

2020-10-28 15:28:05 +02:00

sbin

"$@" does not expand correctly in test expressions, use "$*" instead (issue #181)

2017-04-11 06:31:25 -04:00

.ash_history

GPG2 required changes for key and trustdb generation and inclusion in rom

2019-01-29 11:18:11 -05:00

init

init: remove double heads motd banner, keeping the one sent to tty0 which is both local and remote

2021-07-25 19:53:35 -04:00

mount-boot

extract and verify gpg signature on the boot script

2016-08-06 17:13:22 -04:00