Merge branch 'version1.1' of opengnsys.es:/opt/git/opengnsys into version1.1

842 Consola: se revisan todos los ficheros de idioma en inglés.
remotes/github/debian-pkg
Irina Gomez 2018-05-15 11:29:49 +00:00
commit 59ce41961f
1 changed files with 1 additions and 1 deletions

View File

@ -83,7 +83,7 @@ case "$TYPE" in
read -e EFIDISK EFIPART <<<"$(ogGetEsp)"
[ -n "$EFIPART" ] || ogRaiseError $OG_ERR_PARTITION "ESP" || return $?
# Comprobar si el Kernel está firmado.
if ! sbverify --no-verify "$MNTDIR/$KERNEL" &>/dev/null; then
if ! file -k "$MNTDIR/$KERNEL" | grep -q "EFI app"; then
ogRaiseError $OG_ERR_NOTOS "$1 $2 ($TYPE, EFI)"
return $?
fi