command line - How do I change the default server for nslookup? - Super ...