Проблемы с двойной загрузкой Pop os

Хорошо, у меня есть решение, упомянутое @olfred .

Я установил GRUB и проверил, распознает ли он Windows 10 (, как правило, должен ). Сначала он не определялся автоматически, поэтому я последовал этому:https://askubuntu.com/questions/197868/grub-does-not-detect-windows

Я размонтировал и перемонтировал раздел Windows, установил и запустил os-prober. Это успешно перечислило Windows 10, и мне просто нужно было сделать update-grub, и это сработало! Я сделал перезагрузку, и Windows появилась, как и ожидалось.