Re: grub-install question