I'm using Ubuntu 18.04. My issue is about installing GRUB, not about running update-grub or booting particular entries, so it sounds like your issue is something else.
I'm using Ubuntu 18.04. My issue is about installing GRUB, not about running update-grub or booting particular entries, so it sounds like your issue is something else.