when we use piped stream directed into grub it can be launched without --batch but using this options here does not break anything.