heads

mirror of https://github.com/linuxboot/heads.git synced 2025-04-07 19:34:26 +00:00

History

gui-init: retry mounting /boot after device changed

If CONFIG_BOOT_DEV isn't set or otherwise fails to mount,
we prompt the user to change the /boot device, but never
attempt to mount it to ensure it's sane, leading to
potential failures later in the config/boot process.

Ensure that CONFIG_BOOT_DEV is updated after the /boot device
is changed, and attempt to re-mount /boot after the change.

Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>

2019-07-12 11:51:19 -05:00

.gnupg

instruct gpg to use gpg-agent.

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

bin

gui-init: retry mounting /boot after device changed

2019-07-12 11:51:19 -05:00

etc

gui-init: move update_checksums() to /etc/functions

2019-07-12 11:51:18 -05:00

sbin

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