As a user within a corporate network (behind a proxy server), I also want to build Docker images.
This PR adds build arguments to all Dockerfiles to specify a proxy server.
The user can easily set the proxy server via shell ENV variables, e.g. in Powershell with$ENV:HTTPS_PROXY='http://proxyserver:port' and $ENV:HTTP_PROXY='http://proxyserver:port'
This PR does not affecting the Docker images builds if the corresponding ENV variables are not set.
Description of Changes
As a user within a corporate network (behind a proxy server), I also want to build Docker images.
This PR adds build arguments to all Dockerfiles to specify a proxy server. The user can easily set the proxy server via shell ENV variables, e.g. in Powershell with
$ENV:HTTPS_PROXY='http://proxyserver:port'and$ENV:HTTP_PROXY='http://proxyserver:port'This PR does not affecting the Docker images builds if the corresponding ENV variables are not set.
Compare https://github.com/eclipse-basyx/basyx-aas-web-ui/pull/84