Uma nuance para ter cuidado - as instruções dizem para verificar se você tem uma partição de inicialização separada e, se for, faça o sudo mount / dev / sd ·· / mnt / boot. Fiquei confuso aqui - eu tinha uma partição de boot que não era meu Linux, era minha partição de base (/ sda0). Então eu fiz esse comando, e acabei recebendo um menu grub que só mostrava a inicialização do meu Windows. Eu executei novamente o procedimento sem fazer o sudo mount / dev / sd ·· / mnt / boot e funcionou lindamente. As instruções referem-se apenas a uma partição separada de inicialização do Linux, não para o caso em que sua partição de inicialização não é Linux.