On Mon, Jul 3, 2017 at 5:26 AM, Amichai Rotman <amichai at iglu.org.il> wrote: > Try following this guide to repair the boot process: > > https://askubuntu.com/questions/226061/how-to-install-the-boot-repair-tool-in-an-ubuntu-live-disc > I'll keep that on file for future reference, should the need arise. Thanks.