TODO merge with idhub? | it allows to run everything done in this project as a docker compose
This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
pedro 8e9c03d8fb pilot setem: establish more mnemonic ports 2024-01-12 10:33:53 +01:00
docker idbhub: fix secret sharing 2023-12-15 09:31:50 +01:00
.dockerignore useful dockerignores to ignore local python env 2023-11-16 17:17:56 +01:00
.env.example docker: put init data as part of dev deployment 2023-11-16 17:03:19 +01:00
.gitignore demo 12d -> pilot-xo9b (not tested) 2024-01-09 10:49:05 +01:00
Makefile makefile: add idhub_build 2023-12-12 14:35:17 +01:00
README.md idhub: better README.md 2023-11-03 10:16:42 +01:00
build__pilot-setem.sh deployment scripts for pilot setem 2024-01-12 10:30:55 +01:00
build__pilot-xo9b.sh build pilot-xo9b: ensure is in branch before copy 2024-01-09 10:54:06 +01:00
docker-compose.yml orchestra & musician: use env namespace 2023-10-31 10:44:46 +01:00
docker-compose__pilot-setem.yml pilot setem: establish more mnemonic ports 2024-01-12 10:33:53 +01:00
docker-compose__pilot-xo9b.yml demo 12d -> pilot-xo9b (not tested) 2024-01-09 10:49:05 +01:00
docker-compose_idhub-temp.yml idhub: make it more dev env friendly 2023-12-01 10:10:11 +01:00
docker-compose_orchestra-temp.yml orchestra temp build 2023-11-24 12:33:55 +01:00
idhub_build.sh idhub build: add detach on production env 2023-11-03 09:59:56 +01:00
orchestra_build.sh orchestra temp build 2023-11-24 12:33:55 +01:00
pull-repos.sh add idhub repo (TODO docker part) 2023-10-10 11:08:32 +02:00

README.md

docker files and integrations

idhub

build

# clone or get latest versions of repos
./pull-repos.sh
# rebuild idhub locally
./idhub_build.sh

in production, use ./idhub_build.sh prod to enable detaching

TODO: incorporate to general docker compose

deploy everything in localhost

note: right now the same applies for localhost and reachable deployments

docker compose up

building and deploying new docker images

make docker

dev

if you want to enter a shell inside a new container:

docker run -it --entrypoint= ${target_docker_image} bash

if you want to enter a shell on already running container:

docker exec -it ${target_docker_image} bash