From eb57d280d4950fee970c83d5f4f89cd33e854c25 Mon Sep 17 00:00:00 2001 From: Thomas Glanzmann Date: Mon, 4 Apr 2022 18:36:13 +0200 Subject: [PATCH 1/1] better way to find out UUID --- bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.sh b/bootstrap.sh index 1db9091..dd3e7aa 100644 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -143,7 +143,7 @@ build_efi() export INITRD=`ls -1 testing/boot/ | grep initrd` export VMLINUZ=`ls -1 testing/boot/ | grep vmlinuz` - export UUID=`blkid media | awk -F\" '{print $2}'` + export UUID=`blkid -s UUID -o value media` cat > EFI/debian/grub.cfg <