(Isso não responde à minha pergunta direta, mas fazê-lo funcionar provou ser mais irritante do que eu esperava, então pensei em postar algumas anotações.)
No final, pareço tê-lo funcionando para minha satisfação. Armado com a pasta ubuntu
que o instalador tinha adicionado à partição EFI do meu Macbook, meu disco rígido USB com uma partição EFI vazia e os comentários do @ oldfred, preenchi a partição EFI do disco rígido USB da seguinte forma:
- cria uma pasta na raiz da partição EFI vazia chamada
EFI
- copie a pasta
ubuntu
(que o instalador adicionou) para a nova pastaEFI
- criar pasta em
EFI
chamadoBoot
- mova
EFI/ubuntu/grubx64.efi
eEFI/ubuntu/MokManager.efi
paraEFI/Boot
- mova
EFI/ubuntu/shimx64.efi
paraBoot
e renomeie paraBOOTx64.EFI
- Edite o
EFI/ubuntu/grub.cfg
, localize a linhasearch.fs_uuid
e remova o especificador de dispositivo do final (para que ele leia apenassearch.fs_uuid <<GUID>> root
).
Meu disco USB aparece no menu de inicialização da Apple quando ele está conectado. E quando selecionado, ele traz o menu de inicialização usual, e eu posso selecionar Ubuntu
e pronto.
Como etapa final, uma vez instalado e em execução, editei /etc/fstab
para montar a partição EFI do disco USB, em vez dos MBPs.
(Eu não sei se o passo 6 é vital, e eu não sei se esses nomes de arquivo fazem distinção entre maiúsculas e minúsculas. Isso levou várias reinicializações e não me agrada fazer mais experimentações adicionais.)