Gerenciador de Boot para POP!_OS e Windows 10

[anon17586640]

Roda aí, por sua conta e risco:

sudo apt install -y grub-efi-amd64-signed
sudo grub-install /dev/sda