From 325c31d602c63da7fa02347f6c40a4f78ead70e2 Mon Sep 17 00:00:00 2001 From: Miguel Serrano Date: Tue, 8 Oct 2019 12:47:08 +0200 Subject: [PATCH] Linked CLSI synctext to /opts/synctex (#118) --- server-ce/Dockerfile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/server-ce/Dockerfile b/server-ce/Dockerfile index c527411457..d3a6e69e29 100644 --- a/server-ce/Dockerfile +++ b/server-ce/Dockerfile @@ -44,6 +44,11 @@ RUN bash -c 'cd /var/www/sharelatex && source ./bin/install-services' RUN bash -c 'cd /var/www/sharelatex && source ./bin/compile-services' +# Links CLSI sycntex to its default location +# ------------------------------------------ +RUN ln -s /var/www/sharelatex/clsi/bin/synctex /opt/synctex + + # Change application ownership to www-data # ---------------------------------------- RUN chown -R www-data:www-data /var/www/sharelatex;