Commit 22766302 authored by Thomas Beermann's avatar Thomas Beermann
Browse files

Move tools directory to dev

parent 6ede9828
tools/dev_env
dev/dev_env
HELP.md
target/
webapp/src/main/frontend/target
......
......@@ -2,7 +2,7 @@ FROM registry.hub.docker.com/library/eclipse-temurin:11-jdk-focal
# Install all necessary packages
ENV DEBIAN_FRONTEND noninteractive
ENV PATH "/portal/tools/bin:/opt/poetry/bin:${PATH}"
ENV PATH "/portal/dev/bin:/opt/poetry/bin:${PATH}"
RUN apt-get update && apt-get -y dist-upgrade &&\
apt-get -y --no-install-recommends install git maven curl unzip vim sudo mongodb-clients mongo-tools python3-pip python-is-python3
......
......@@ -17,7 +17,7 @@ This will start a development container and a MongoDB database. The development
```
# Get into the container
> podman exec -it tools_portal-dev_1 /bin/bash
> podman exec -it dev_portal_1 /bin/bash
# import the data into the database
ubuntu@portal-dev:/portal$ import_data
......
services:
portal-dev:
portal:
image: registry.hzdr.de/hifis/cloud/access-layer/portal/dev:latest
hostname: portal-dev
ports:
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment