> In any event, > GRUB_CMDLINE_LINUX="rhgb quiet" > is probably what is needed. I would backup the /boot/grub2/grub.cfg just in case. Yes, I confirm that this works fine. Thanks a lot, F _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
