%post

# kill grub splashimage and hidden menu grub options
sed -i '/^hiddenmenu/d' /boot/grub/grub.conf
sed -i '/^splashimage/d' /boot/grub/grub.conf

# kill the graphical and quiet kernel options
sed -i 's/ rhgb//' /boot/grub/grub.conf
sed -i 's/ quiet//' /boot/grub/grub.conf

# add time boot parameter for timestamp in dmesg
# match "kernel /vmlinuz" and append to the line
sed -i 's/\(.*kernel .vmlinuz.*\)/\1 printk.time=1/' /boot/grub/grub.conf

%end