Re: update bios from debian

[Forest Dean Feighner <forest.feighner@gmail.com>]

On Mar 8, 2018 12:22 AM, "Don Armstrong" <don@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