]> git.zerfleddert.de Git - m1-debian/commitdiff
better way to find out UUID
authorThomas Glanzmann <thomas@glanzmann.de>
Mon, 4 Apr 2022 16:36:13 +0000 (18:36 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Mon, 4 Apr 2022 16:36:13 +0000 (18:36 +0200)
bootstrap.sh

index 1db909173dac832177e646dc3424e1a3992ac1b5..dd3e7aa6f413260dde80d61f08f80433abc4ac09 100644 (file)
@@ -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 <<EOF
 search.fs_uuid ${UUID} root
 linux (\$root)/boot/${VMLINUZ} root=UUID=${UUID} rw
Impressum, Datenschutz