Skip to content

Commit

Permalink
introducing some env vars & example dotenv as suggested in Informatie…
Browse files Browse the repository at this point in the history
  • Loading branch information
marc-portier committed Dec 10, 2024
1 parent 8f1caa0 commit 5171065
Show file tree
Hide file tree
Showing 3 changed files with 19 additions and 7 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
.env
14 changes: 7 additions & 7 deletions docker/docker-compose.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -31,13 +31,13 @@ services:
# services are internal, you can adapt this URL to also be internal.
- HMAC_KEY=CHANGE_ME
ports:
- "8080:8080"
- "${GITB_SRV_PORT:-8080}:8080"
gitb-ui:
image: isaitb/gitb-ui
container_name: itb-ui
restart: unless-stopped
ports:
- "9000:9000"
- "${GITB_UI_PORT:-9000}:9000"
environment:
- THEME=gitb
- DB_DEFAULT_PASSWORD=CHANGE_ME
Expand All @@ -60,7 +60,7 @@ services:
environment:
JAVA_OPTS: "-Xmx4g -Xms4g"
ports:
- "7200:7200"
- "${GRAPHDB_PORT:-7200}:7200"

ldio-workbench:
image: ldes/ldi-orchestrator:2.10.0-SNAPSHOT
Expand All @@ -71,7 +71,7 @@ services:
timeout: 3s
retries: 12
ports:
- "8888:8080"
- "${LDIO_WB_PORT:-8888}:8080"

testbed-shacl-validator:
image: ghcr.io/informatievlaanderen/testbed-shacl-validator:20241113094029
Expand All @@ -81,6 +81,6 @@ services:
ldio-workbench:
condition: service_healthy
environment:
- LDIO_HOST=http://ldio-workbench:8080
- LDIO_SPARQLHOST=http://graphdb:7200
- SERVER_PORT=8080
- LDIO_HOST=http://ldio-workbench:8080 # targets container-port (not exposed host-port)
- LDIO_SPARQLHOST=http://graphdb:7200 # idem
- SERVER_PORT=8080 # looks like this needs to point to itb_srv port assumed also container based
11 changes: 11 additions & 0 deletions docker/dotenv-example
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# exported host port for the gitb-server service (whatever that may do)
#GITB_SRV_PORT=9090

# exported host port for the gitb-ui service (whatever that may do)
#GITB_UI_PORT=9000

# exported host port for the graphdb triple store service
#GRAPHDB_PORT=7200

# exported host port for the LDIO Workbench service
#LDIO_WB_PORT=8888

0 comments on commit 5171065

Please sign in to comment.