From a7fb778415a264a0f40e7580217cbd5616fb0cfe Mon Sep 17 00:00:00 2001
From: William Wilhelm <willat8@gmail.com>
Date: Sun, 1 Jan 2023 10:51:47 +0000
Subject: setup-disk: NO_DISK_UUID for fstab

---
 setup-disk.in | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'setup-disk.in')

diff --git a/setup-disk.in b/setup-disk.in
index 28ef857..258a494 100644
--- a/setup-disk.in
+++ b/setup-disk.in
@@ -44,6 +44,12 @@ _blkid() {
 # if given device have an UUID display it, otherwise return the device
 uuid_or_device() {
 	local i=
+	# NO_DISK_UUID can be set to a list of space-separated devices to avoid using UUIDs
+	for i in $NO_DISK_UUID; do
+		if [ "$i" = "$1" ]; then
+			echo "$1" && return 0
+		fi
+	done
 	case "$1" in
 		/dev/md*) echo "$1" && return 0;;
 	esac
-- 
cgit v1.2.3