→ https://www.virtualbox.org/ticket/13615
→ http://www.virtualbox.org/manual/ch01.html#specialcharacters
Ctrl droite + F1 puis Ctrl droite + F7
→ https://forums.virtualbox.org/viewtopic.php?f=1&t=45065
sur le shell EFI, essayer (attention, clavier américain) :
FS0:
cd EFI/ubuntu
grubx64.efi
si ça fonctionne, écrire ces lignes (ou équivalent) dans un fichier startup.nsh placé à la racine de la partition de boot :
sudo -i
cd /boot/efi
<html>echo “FS0:EFI\ubuntu\grubx64.efi” > startup.nsh</html>
au reboot, ca doit lancer le script au bout de 5s (ou en appuyant sur enter).
penser à l'ordre des périphériques, éjecter lecteur CD virtuel si ça coince.
→ https://superuser.com/a/1027414
shell:startup, garder de côté la fenêtreca s'ouvrira à l'ouverture des sessions.