|
FROM julia:1.8 |
|
|
|
RUN useradd --create-home --shell /bin/bash genie |
|
RUN mkdir /home/genie/app |
|
COPY . /home/genie/app |
|
WORKDIR /home/genie/app |
|
RUN chown -R genie:genie /home/ |
|
USER genie |
|
|
|
EXPOSE 8001 |
|
EXPOSE 80 |
|
ENV JULIA_DEPOT_PATH "/home/genie/.julia" |
|
ENV GENIE_ENV "dev" |
|
ENV GENIE_HOST "0.0.0.0" |
|
ENV PORT "8001" |
|
ENV WSPORT "8001" |
|
|
|
RUN julia -e 'using Pkg; Pkg.activate("."); Pkg.add("Stipple");Pkg.add("Pluto");Pkg.add("Genie"); Pkg.precompile()' |
|
|
|
ENTRYPOINT julia --project -e 'using Pkg; Pkg.instantiate(); using Genie; Genie.loadapp(); up(async=false);;' |
|
|
