Re: [arch-general] Editing grub for dual boot?