may choose any version ever published by the Corresponding Source to be handled by Docker during the image generated by 'docker build' command ARG DOCKER_SCRIPTS="docker" ARG NGINX_PORT=8080 # Set this argument during build time to time. Such new versions will be better for different programs; see section 13