diff options
-rw-r--r-- | config/live.cfg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/live.cfg b/config/live.cfg index e2412fd..18ff20e 100644 --- a/config/live.cfg +++ b/config/live.cfg @@ -199,6 +199,10 @@ my $_l = { # add local medias "urpmi.addmedia 'Live Core' /var/local/mga_rpms/core with media_info/hdlist.cz", "urpmi.addmedia 'Live Nonfree' /var/local/mga_rpms/nonfree with media_info/hdlist.cz", + + # remove pre-installed grub2, we need to be able to select grub2 vs grub2-efi at install time + "rpm -e --nodeps grub2", + ), additional_media => [ if_($live->{settings}{updates_repository}, |