Changing boot options through kickstart

[CLOSE Dave]

I asked:

> I want to delete "rhgb" and "quiet" on the boot line, preferably in
> both places [/etc/default/grub and /boot/grub2/grub.cfg]. Is there
> any way to do that through kickstart or do I have to use a
> post-install step?

Joe Wulf replied:

> I think your cleanest way would be a simple one-liner post-install
> sed command.

Surely changing /etc/default/grub is just a one-line sed command. But
then I would need to run grub-mkconfig. Since the post-install script
runs under chroot, it's not clear to me that it would work. I'm not 
eager to apply sed to /boot/grub2/grub.cfg, though I suppose I could.
-- 
Dave Close