diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-08-03 15:20:11 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-08-03 15:20:11 +0200 |
| commit | 75f9b2bbc7183af8716574d73a2a1c5d32db3287 (patch) | |
| tree | c8438d19b4cada48271bc3226f666a860d6071cd | |
| parent | ff1085c513e8025ceb7cf61cc151f18321fe0ca4 (diff) | |
fix(web/server): Customize Auth0 settings during build time
This change fixes the Dockerfile for the OpenDC web server by also
providing the custom Auth0 configuration values during build time of the
image. These settings cannot be changed during runtime, so we need to
declare them in the Dockerfile.
| -rw-r--r-- | docker-compose.override.yml | 4 | ||||
| -rw-r--r-- | opendc-web/opendc-web-server/Dockerfile | 8 |
2 files changed, 12 insertions, 0 deletions
diff --git a/docker-compose.override.yml b/docker-compose.override.yml index 86aff681..35a7feb8 100644 --- a/docker-compose.override.yml +++ b/docker-compose.override.yml @@ -13,6 +13,10 @@ services: build: context: . dockerfile: opendc-web/opendc-web-server/Dockerfile + args: + OPENDC_AUTH0_DOMAIN: ${OPENDC_AUTH0_DOMAIN:?No Auth0 domain specified} + OPENDC_AUTH0_AUDIENCE: ${OPENDC_AUTH0_AUDIENCE:?No Auth0 audience specified} + OPENDC_AUTH0_DOCS_CLIENT_ID: ${OPENDC_AUTH0_DOCS_CLIENT_ID} ports: - "8081:8080" environment: diff --git a/opendc-web/opendc-web-server/Dockerfile b/opendc-web/opendc-web-server/Dockerfile index 444d787e..5828e5c9 100644 --- a/opendc-web/opendc-web-server/Dockerfile +++ b/opendc-web/opendc-web-server/Dockerfile @@ -8,6 +8,14 @@ WORKDIR /app RUN ./gradlew --version # Build project +ARG OPENDC_AUTH0_DOMAIN +ARG OPENDC_AUTH0_AUDIENCE +ARG OPENDC_AUTH0_DOCS_CLIENT_ID + +ENV OPENDC_AUTH0_DOMAIN=$OPENDC_AUTH0_DOMAIN +ENV OPENDC_AUTH0_AUDIENCE=$OPENDC_AUTH0_AUDIENCE +ENV OPENDC_AUTH0_DOCS_CLIENT_ID=$OPENDC_AUTH0_DOCS_CLIENT_ID + COPY ./ /app/ RUN ./gradlew --no-daemon :opendc-web:opendc-web-server:quarkusBuild -Dquarkus.profile=docker |