2023-06-25 12:28:34 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
# Copy this file as variables.conf, with the correct values
|
|
|
|
|
|
|
|
|
|
path_to_vmlinuz_link=/boot # /boot in Ubuntu 22.04, / in Debian 11
|
|
|
|
|
path_to_uki=/efi/EFI/debian/debian-linux.efi
|
2023-07-22 12:37:17 +02:00
|
|
|
set_efi_default_image="no" # change to "yes" if you need to boot from EFI\BOOT\BOOTX64.EFI
|
