diff --git a/Ventoy/CloneToDisk.sh b/Ventoy/CloneToDisk.sh index c027ff8..a561a09 100755 --- a/Ventoy/CloneToDisk.sh +++ b/Ventoy/CloneToDisk.sh @@ -1,14 +1,14 @@ #!/bin/bash set -e +mount_points=("/dev" "/dev/pts" "/proc" "/sys" "/sys/firmware/efi/efivars" "/run") + cleanup() { echo "Cleaning Mounts" umount -lf /mnt/ventoy || true - mount_points=("/dev" "/dev/pts" "/proc" "/sys" "/sys/firmware/efi/efivars" "/run") - - for i in $mount_points; do umount -lf /mnt/debian$i || true; done + for i in "${mount_points[@]}"; do umount -lf "/mnt/debian$i" || true; done umount -lf /mnt/boot/efi 2>/dev/null || true umount -lf /mnt/boot 2>/dev/null || true @@ -89,9 +89,8 @@ mount /dev/mapper/PBX--vg-root /mnt/debian/ mount ${disk_name}2 /mnt/debian/boot mount ${disk_name}1 /mnt/debian/boot/efi -mount_points=("/dev" "/dev/pts" "/proc" "/sys" "/sys/firmware/efi/efivars" "/run") -for i in $mount_points; do mount -B $i /mnt/debian$i; done +for i in "${mount_points[@]}"; do mount -B $i /mnt/debian$i; done # Chroot and reinstall GRUB echo "Entering chroot to reinstall GRUB..."