From 8a25755b8a949687de4a09cdbda68f017619e13a Mon Sep 17 00:00:00 2001
From: Henry Oswald <henry.oswald@sharelatex.com>
Date: Tue, 31 May 2016 15:16:31 +0100
Subject: [PATCH] set synctexBaseDir: () -> "/compile" if using docker in
 docker

---
 server-ce/Dockerfile      | 2 ++
 server-ce/settings.coffee | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/server-ce/Dockerfile b/server-ce/Dockerfile
index 91fa6e4c4d..d7ca93d357 100644
--- a/server-ce/Dockerfile
+++ b/server-ce/Dockerfile
@@ -106,5 +106,7 @@ ENV SHARELATEX_CONFIG /etc/sharelatex/settings.coffee
 
 EXPOSE 80
 
+WORKDIR /
+
 ENTRYPOINT ["/sbin/my_init"]
 
diff --git a/server-ce/settings.coffee b/server-ce/settings.coffee
index f6d48b3dc4..e1b5c2ca5e 100644
--- a/server-ce/settings.coffee
+++ b/server-ce/settings.coffee
@@ -499,6 +499,10 @@ if process.env["DOCKER_IN_DOCKER"] == "true"
 				PATH: process.env["COMPILER_PATH"] or "/usr/local/texlive/2015/bin/x86_64-linux:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
 			user: "www-data"
 
+	if !settings.path?
+		settings.path = {}
+	settings.path.synctexBaseDir = () -> "/compile"
+
 
 # Templates
 # ---------