From 55b12b4fc6f33ddadc41af4d315532abaf308573 Mon Sep 17 00:00:00 2001
From: oddlama <oddlama@oddlama.org>
Date: Thu, 3 Jun 2021 20:43:36 +0200
Subject: [PATCH] Use realpath to obtain partition number

---
 scripts/main.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/main.sh b/scripts/main.sh
index c5003b5..3e0ea0f 100644
--- a/scripts/main.sh
+++ b/scripts/main.sh
@@ -175,6 +175,8 @@ function install_kernel_efi() {
 	local efipartdev
 	efipartdev="$(resolve_device_by_id "$DISK_ID_EFI")" \
 		|| die "Could not resolve device with id=$DISK_ID_EFI"
+	efipartdev="$(realpath "$efipartdev")" \
+		|| die "Error in realpath '$efipartdev'"
 	local efipartnum="${efipartdev: -1}"
 	local gptdev
 	gptdev="$(resolve_device_by_id "${DISK_ID_PART_TO_GPT_ID[$DISK_ID_EFI]}")" \