ssh: Could not resolve hostname hepgw.shef.ac.uk: nodename nor servname provided, or not known
Eventually it resolves itself.
Is there some known issue with the look up via plusnet? My system administrator at work says I could resolve this by using the google DNS server which would be more reliable. But I think this should just work via the default DNS server on plusnet? Does someone have any suggestions?
It should and once its resolved it will remain cached, so subsequent lookup shouldn't be an issue (until the cache is expired). However if this is happening more often then I'd go with what you were told and use the google DNS 188.8.131.52 and 184.108.40.206 for good measure.