On Sun 15 Jan 2017 at 15:36:08 -0600, Martin McCormick wrote: [A trip down Memory Lane snipped] For those who may want to use Plop boot manager, it is far quicker and more reliable to do so from GRUB on the hard disc. The Plop website has details. Struggling with a pile of floppies is no fun and a floppy which works today ivery likely not to do so next month. -- Brian.