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