Re: [PATCH] emu: fix unusable terminal after exit

2015-12-28 Thread Michael Chang
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 > >

Re: [PATCH] emu: fix unusable terminal after exit

2015-12-23 Thread Andrei Borzenkov
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