Re: grub : how to edit grub config by command / script ?