Le 23/07/2019 à 20:28, Pascal Hambourg a écrit :
If the system on the USB drive is GNU/Linux, you just need to put /boot on the internal drive so that GRUB can load them.
Oops, my sentence was a bit incomplete.You just need to put /boot on the internal drive so that GRUB can load the kernel image (vmlinuz) and the initramfs (initrd) from there.