Finalmente, descobri que, no entanto, em guest ping a.b.c não funciona, mas ping a funciona bem.
Isso é suficiente para minhas necessidades.
No host do Windows 10 da minha empresa, posso com êxito ping a.b.c .
Eu tenho convidado vagabundo no Virtualbox e quando eu chamo ping a.b.c , recebo o erro Unknown host
Descobri que devo usar natdnshostresolver1 on . Mas isso não me ajudou. Eu uso rede com o modo NAT e gostaria de mantê-lo inalterado.
Quando eu chamo ping google.com , recebi a resposta correta, então tenho problemas apenas com o DNS da empresa
Tags virtualbox vagrant