Вместо этого можно переименовать текущий каталог в DirX_OLD
, создать новый каталог с именем DirX
и переместить все необходимые файлы из DirX_OLD
в DirX
.
После копирования файлов можно удалить DirX_OLD
Я не уверен, в чем именно была причина проблемы, но я исправил ее, загрузившись с живого диска Windows 10 и выполнив восстановление при запуске . Это решило проблему и теперь я получаю GRUB при загрузке системы.