docker dev data

This commit is contained in:
2021-01-10 09:12:29 +00:00
parent 01b16a28f1
commit 307ee35118

View File

@@ -35,7 +35,7 @@ services:
theia: theia:
image: docker.triton2.fet.at/theia-fet2020:latest image: docker.triton2.fet.at/theia-fet2020:latest
volumes: volumes:
- /srv/andis_fet2020:/home/project - dev_data:/home/project
- /srv/etherpad/APIKEY.txt:/srv/etherpad/APIKEY.txt - /srv/etherpad/APIKEY.txt:/srv/etherpad/APIKEY.txt
- theia_usr:/usr/local - theia_usr:/usr/local
environment: environment:
@@ -51,3 +51,5 @@ volumes:
driver: local driver: local
theia_usr: theia_usr:
driver: local driver: local
dev_data:
driver: local