Web lists-archives.com

Re: update bios from debian

On Mar 8, 2018 12:22 AM, "Don Armstrong" <don@xxxxxxxxxx> wrote:

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