added Dockerfile to create Julia/Pluto containers
parent
7ec2ede00e
commit
48419a530d
@ -0,0 +1,25 @@
|
|||||||
|
FROM debian:latest
|
||||||
|
MAINTAINER youainti@youainti.com
|
||||||
|
RUN apt update
|
||||||
|
RUN apt install -y vim
|
||||||
|
RUN apt install -y curl
|
||||||
|
|
||||||
|
#add user
|
||||||
|
RUN useradd julia
|
||||||
|
USER julia
|
||||||
|
WORKDIR /home/julia
|
||||||
|
#setup basic files
|
||||||
|
RUN touch .profile
|
||||||
|
RUN touch .bashrc
|
||||||
|
|
||||||
|
#install julia
|
||||||
|
RUN curl -fsSL https://install.julialang.org > juliaup_installer.sh
|
||||||
|
RUN sh juliaup_installer.sh -y
|
||||||
|
RUN rm juliaup_installer.sh
|
||||||
|
|
||||||
|
|
||||||
|
#install pluto
|
||||||
|
RUN ~/.juliaup/bin/julia -e 'using Pkg; Pkg.add("Pluto")'
|
||||||
|
|
||||||
|
#entrypoint
|
||||||
|
CMD ~/.juliaup/bin/julia -e 'using Pluto; Pluto.run(;host="0.0.0.0")'
|
||||||
Loading…
Reference in New Issue