Re: update bios from debian
- Date: Thu, 8 Mar 2018 01:20:40 -0500
- From: Forest Dean Feighner <forest.feighner@xxxxxxxxx>
- Subject: 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;
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!?