deno报错error trying to connect: invalid dnsname的可能解决办法

最近比较喜欢用deno去运行ts代码，总感觉比ts-node利索。但是deno有个小问题，如果不用代理，因为deno的release是发布在aws上的，而且由于众所周知的原因，国内无法访问aws；而如果使用代理，就会一直报错：

error: error sending request for url (https://github.com/denoland/deno/releases/latest): error trying to connect: invalid dnsname

查了一下，有老外说把代理关掉，不过这个对国内显然是不行的；也有人说修改系统的host文件，比如在hosts文件里加上这么一行：

199.232.68.133 raw.githubusercontent.com

但是好像都没什么用。

再查了一下，deno的代理是这么回事：

代理配置从环境变量中读取: HTTP_PROXY 和 HTTPS_PROXY。

在 Windows 的环境下，如果没有发现环境变量，Deno 会从注册表中读取代理。

所以说，事实上deno走的还是系统代理，所以只要给系统做一个代理就好了。更多的设置方法可以参考之前的文章，这里给出一种临时设置Windows环境变量的方法：

set http_proxy=://:
set https_proxy=://: