在docker build时使用代理服务器

在企业代理服务器之后使用docker时，需要配置代理服务器才能连接网络。然而，在docker desktop中配置了代理服务器，在docker build时却不生效。经过一番资料查阅，发现正确的方法如下：

docker build --build-args http_proxy=http://{ip_addr}:{port} --build-args https_proxy=http://{ip_addr}:{port} .