From 22efbc38dd6abb6d446b027679f429c50a84853b Mon Sep 17 00:00:00 2001 From: Miguel Serrano Date: Wed, 20 Oct 2021 07:39:30 +0200 Subject: [PATCH] wip --- .devcontainer/Dockerfile | 2 +- .devcontainer/docker-compose.dev.yml | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index e35da7b808..f70ecd3fff 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM sharelatex/sharelatex-base +FROM phusion/baseimage:0.11 ADD server-ce/genScript.js /var/www/sharelatex/genScript.js ADD server-ce/services.js /var/www/sharelatex/services.js \ No newline at end of file diff --git a/.devcontainer/docker-compose.dev.yml b/.devcontainer/docker-compose.dev.yml index 25b7308da9..68ef0a9edb 100644 --- a/.devcontainer/docker-compose.dev.yml +++ b/.devcontainer/docker-compose.dev.yml @@ -3,7 +3,7 @@ services: sharelatex: build: context: ../ - dockerfile: Dockerfile + dockerfile: .devcontainer/Dockerfile depends_on: mongo: condition: service_healthy @@ -34,4 +34,3 @@ services: redis: image: redis:5 - \ No newline at end of file