Comment by brady8

Setting up functions in my bash .profile helped for me, to ensure the DNS settings get reset: https://gist.github.com/bouchard/b78ffa3c934252cd6350a890496...