On Wed, Dec 23, 2015 at 02:45:20PM +0300, Andrei Borzenkov wrote:
> On Wed, Dec 23, 2015 at 12:49 PM, Michael Chang wrote:
> > The grub-emu's grub_exit function will exit immediately without any
> > housekeeping work for restoring terminal settings and leaves unusable
> >
On Wed, Dec 23, 2015 at 12:49 PM, Michael Chang wrote:
> The grub-emu's grub_exit function will exit immediately without any
> housekeeping work for restoring terminal settings and leaves unusable
> terminal in the end. Fix the problem by calling grub_reboot to allow
> doing the