Существует несколько способов сделать это. Лучше всего был бы grep
:
grep -v 'repeat-info' file.log
Другие пути:
sed '/repeat-info/d' file.log
sed -n '/repeat-info/!p' file.log
awk '!/repeat-info/' file.log
Если Вы видите Windows Boot Loader и нет grub
когда включение Вашей машины, затем удаляя раздел Linux должно быть прекрасным.
Вы не должны делать этого для получения новой установки Fedora, хотя, можно просто установить по старой системе, пока Вы форматируете Ваш /
раздел во время процесса установки, Вы будете в порядке.