Isso não resolve o problema de o DNS não funcionar, mas é uma solução que faz parecer que está funcionando.
Você pode editar seu arquivo hosts (em / etc / hosts) e adicionar uma entrada para o nome do host que você deseja usar.
Adicione uma entrada que tenha o endereço IP seguido por um espaço e o nome do host.
123.456.1.1 target.host.net
Note que você precisará sudo
do seu comando de edição. sudo vi /etc/hosts
Para mim, a edição fica por todas as sessões do shell bash. Estou assumindo que é um bug que a Microsoft espera consertar no futuro. Por enquanto, apenas uso essa solução alternativa.