Cyril Brulebois (2021-05-20):
> Namely, rescue.d/80grub-reinstall gets this new code (excerpt):
>
> chroot /target mount /boot/efi || true
> EXTRA_PATHS="$EXTRA_PATHS /target/boot/efi"
> trap "umount $EXTRA_PATHS" HUP INT QUIT KILL PIPE TERM EXIT
>
> The first line does generate an
Package: grub-installer
Version: 1.175
Severity: important
X-Debbugs-Cc: Steve McIntyre <93...@debian.org>
Hi,
Calling this important since it gives a wrong indication to users trying
to rescue their systems. During smoke testing for #987377, once the hang
is fixed, I've toyed with other options
2 matches
Mail list logo
