Jakob Ackermann
|
4644faf212
|
[misc] integrate git-bridge with overleaf dev-env and prod setup
- Add `base` target for dev-env
- Add `node` user for dev-env and prod
- Use `make` all the way
|
2020-12-10 17:37:09 +00:00 |
|
Jakob Ackermann
|
f547b6d494
|
Revert "Add git, make, and curl to docker image"
This reverts commit 02a2c9cd429b26ff44fabb97d3649e791b9edea4
Signed-off-by: Jakob Ackermann <das7pad@outlook.com>
|
2019-05-05 18:34:01 +02:00 |
|
Jakob Ackermann
|
5907172463
|
Merge remote-tracking branch 'upstream/master' into misc/docker-build
# Conflicts:
# Dockerfile
|
2019-05-05 18:32:35 +02:00 |
|
Jakob Ackermann
|
35ac848f43
|
[docker] install git in the app image
Signed-off-by: Jakob Ackermann <das7pad@outlook.com>
|
2019-04-26 23:59:59 +02:00 |
|
Shane Kilkelly
|
c3308e565b
|
Add git, make, and curl to docker image
|
2019-04-26 15:29:44 +01:00 |
|
Jakob Ackermann
|
2ebae69044
|
[docker] build the git-bridge in docker
Signed-off-by: Jakob Ackermann <das7pad@outlook.com>
|
2019-04-17 13:45:21 +02:00 |
|
Jakob Ackermann
|
85a8e377fc
|
[docker] use a base image that already contains maven and openjdk
Signed-off-by: Jakob Ackermann <das7pad@outlook.com>
|
2019-04-17 11:21:41 +02:00 |
|
Shane Kilkelly
|
394fd17dfa
|
Working docker setup
|
2018-10-15 11:06:18 +01:00 |
|
Shane Kilkelly
|
9ba5517915
|
Add git to docker packages
|
2018-10-08 10:41:26 +01:00 |
|
Shane Kilkelly
|
33dbbe49ff
|
Add makefile and basic dockerfile
|
2018-10-08 10:36:20 +01:00 |
|