On Mar 8, 2018 12:22 AM, "Don Armstrong" <d...@debian.org> wrote:
Just: sudo apt install grub-imageboot; sudo cp 7wuj43uc.iso /boot/images; sudo update-grub2; then reboot, and select the right cd image in your grub menu. Going OT a little but is that all you have to do to add ISOs to grub!? -- Don Armstrong https://www.donarmstrong.com Live and learn or die and teach by example -- a softer world #625 http://www.asofterworld.com/index.php?id=625
