Rename dockerfile
This commit is contained in:
parent
b937204a0c
commit
12f194f0b2
|
@ -61,7 +61,7 @@ target "documentserver" {
|
||||||
|
|
||||||
target "documentserver-stable" {
|
target "documentserver-stable" {
|
||||||
target = "documentserver-stable"
|
target = "documentserver-stable"
|
||||||
dockerfile= "Dockerfile.production"
|
dockerfile = "production.dockerfile"
|
||||||
tags = ["docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${TAG}",
|
tags = ["docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${TAG}",
|
||||||
"docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${SHORTER_TAG}",
|
"docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${SHORTER_TAG}",
|
||||||
"docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${SHORTEST_TAG}",
|
"docker.io/${COMPANY_NAME}/${PREFIX_NAME}${PRODUCT_NAME}${PRODUCT_EDITION}:${SHORTEST_TAG}",
|
||||||
|
|
Loading…
Reference in a new issue