Matt DeVillier 65d669d408 Skip prompt to set default boot when booting from USB ... Since a USB boot target can't be the default (at least currently, /boot must be on internal media), skip the extraneous prompt to set it as such when booting from USB. Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>		2019-06-25 10:01:18 -05:00
..
.gnupg	instruct gpg to use gpg-agent.	2019-01-29 11:16:13 -05:00
bin	Skip prompt to set default boot when booting from USB	2019-06-25 10:01:18 -05:00
etc	reverting shred on a file that is not a secret to be shredded	2019-02-24 10:29:05 -05: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	Merge branch 'master' into gpg2	2019-02-08 13:29:02 -05:00
mount-boot	extract and verify gpg signature on the boot script	2016-08-06 17:13:22 -04:00