Linked CLSI synctext to /opts/synctex (#118)

This commit is contained in:
Miguel Serrano 2019-10-08 12:47:08 +02:00 committed by GitHub
parent 4b0ea96b55
commit fe5cdef39c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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;