On Monday, September 2, 2013 5:45:26 AM UTC-7, Roy Smith wrote: > In article <00843d58-db21-4cf0-9430-85362a1dd...@googlegroups.com>, > anntzer....@gmail.com wrote: > > > As it happens I found a better way: just add the proper entry to /etc/hosts. > > You have not found a better way. You still have a network (or more > specifically, DNS) configuration that's broken. > > What you have found is a pragmatic way to solve your immediate problem > and get some work done. That is certainly useful (and I've done it > plenty of times), but you need to understand that what you've done is > hidden the problem, not solved it.
To be honest, knowing nothing about DNS configuration, I don't even know if adding the entry to /etc/hosts is the "proper" fix or if the issue should be fixed somewhere else (or perhaps "didn't know", as you seem to imply that that is not the correct way). -- http://mail.python.org/mailman/listinfo/python-list
