From 550acd6531c1c6a6bf1d3a980d41b4005dbae0aa Mon Sep 17 00:00:00 2001 From: Miguel Serrano Date: Thu, 21 Nov 2019 12:16:29 +0100 Subject: [PATCH] Add SYNCTEX_BIN_HOST_PATH environment variable (#664) --- docker-compose.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docker-compose.yml b/docker-compose.yml index 23f9aaf1c2..cfb2ef3a4e 100644 --- a/docker-compose.yml +++ b/docker-compose.yml @@ -2,7 +2,7 @@ version: '2.2' services: sharelatex: restart: always - # Server Pro users: + # Server Pro users: # image: quay.io/sharelatex/sharelatex-pro image: sharelatex/sharelatex container_name: sharelatex @@ -68,7 +68,8 @@ services: # SANDBOXED_COMPILES: 'true' # SANDBOXED_COMPILES_SIBLING_CONTAINERS: 'true' - # SANDBOXED_COMPILES_HOST_DIR: '/var/clsi/compiles' + # SANDBOXED_COMPILES_HOST_DIR: '/var/sharelatex_data/data/compiles' + # SYNCTEX_BIN_HOST_PATH: '/var/sharelatex_data/synctex' # DOCKER_RUNNER: 'false'