[brady8]

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

[mbesto]

Thanks, that's exactly what I was having to do manually!