I’m not sure if this really belongs here, but I can’t find anything else online.
When trying to download cuDNN I get the following error
$ wget "http://platform.ai/files/cudnn.tgz" -O "cudnn.tgz" --2017-05-03 21:19:22-- http://platform.ai/files/cudnn.tgz Resolving platform.ai (platform.ai)... failed: Name or service not known. wget: unable to resolve host address ‘platform.ai’
Now I am most definitely connected to the internet, and I also think my DNS is working properly, since I’m writing this on the same machine I tired to download the file. It also doesn’t work if I try to download via a browser, saying it can’t resolve the name.
I also tried
dig -t A platform.ai +short but not getting any response (works for other domains).
Edit: as a side question, why are the
.sh installers recommended instead of the nvidia provided