From: Carlos Alberto Lopez Perez <clopez@igalia.com>
Date: Mon, 6 Nov 2017 16:29:13 +0000 (+0100)
Subject: grub-generator: If OSTREE_BOOT_PARTITION is not set, default to /boot
X-Git-Tag: archive/raspbian/2022.1-3+rpi1~1^2~4^2~29^2~23
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=20996d0da30377e029495c88120d2dc014976685;p=ostree.git

grub-generator: If OSTREE_BOOT_PARTITION is not set, default to /boot

Closes: #1326
Approved by: cgwalters
---

diff --git a/src/boot/grub2/ostree-grub-generator b/src/boot/grub2/ostree-grub-generator
index 5673b264..82e66bd7 100644
--- a/src/boot/grub2/ostree-grub-generator
+++ b/src/boot/grub2/ostree-grub-generator
@@ -61,7 +61,12 @@ read_config()
 
 populate_menu()
 {
-    boot_prefix="${OSTREE_BOOT_PARTITION}"
+    # Default to /boot if OSTREE_BOOT_PARTITION is not set and /boot is on the same device than ostree/repo
+    if [ -z ${OSTREE_BOOT_PARTITION+x} ] && [ -d /boot/ostree ] && [ -d /ostree/repo ] && [ $(stat -c '%d' /boot/ostree) -eq $(stat -c '%d' /ostree/repo) ]; then
+        boot_prefix="/boot"
+    else
+        boot_prefix="${OSTREE_BOOT_PARTITION}"
+    fi
     for config in $(ls ${entries_path}); do
         read_config ${config}
         menu="${menu}menuentry '${title}' {\n"