roboterclubaachen / rca-vm

DEPRECATED: Scripts to build provisioned virtual machines for xpcc and robot development
4 stars 1 forks source link

Use faster DNS nameserver #38

Closed salkinium closed 9 years ago

salkinium commented 9 years ago

This is probably a bug with virtualbox, but we should use something else than the local 10.0.2.3 DNS server. Doing a gits pull using the default nameserver takes about 1m40s and with Google DNS it takes only about 0m7s.

That's a whopping 15x faster.

georgi-g commented 9 years ago

look here http://askubuntu.com/questions/201603/should-i-edit-my-resolv-conf-file-to-fix-wrong-dns-problem