-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathDockerfile
51 lines (37 loc) · 1.83 KB
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
FROM nvidia/cuda:12.4.1-cudnn-devel-ubuntu22.04
SHELL ["/bin/bash", "-c"]
RUN set -eux; \
apt-get update; \
apt-get install -y --no-install-recommends lsb-release curl gpg ca-certificates; \
curl -fsSL https://packages.redis.io/gpg | gpg --dearmor -o /usr/share/keyrings/redis-archive-keyring.gpg; \
chmod 644 /usr/share/keyrings/redis-archive-keyring.gpg; \
echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" | tee /etc/apt/sources.list.d/redis.list; \
apt-get update; \
apt-get install -y --no-install-recommends \
build-essential \
git \
zsh \
vim \
libboost-all-dev \
redis \
; \
rm -rf /var/lib/apt/lists/*
RUN sh -c "$(curl -fsSL https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)"
SHELL ["/bin/zsh", "-c"]
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
RUN curl -fsSL https://install.julialang.org | sh -s -- -y
# RUN cat /root/.bashrc
# RUN source /root/.bashrc
ENV JULIA_PATH=/root/.juliaup
ENV CARGO_PATH=/root/.cargo
ENV PATH=$JULIA_PATH/bin:$CARGO_PATH/bin:$PATH
RUN julia -e 'using Pkg; Pkg.add(["Revise", "TestEnv", "OhMyREPL", "TerminalExtensions"])'
RUN mkdir -p /root/.julia/config
RUN echo 'atreplinit((_)->Base.require(Main, :TerminalExtensions))' > /root/.julia/config/startup.jl
RUN echo 'using Revise' >> /root/.julia/config/startup.jl
RUN echo 'using OhMyREPL' >> /root/.julia/config/startup.jl
RUN echo 'using TestEnv' >> /root/.julia/config/startup.jl
COPY . /workspaces/expcoder
RUN cd /workspaces/expcoder && git remote set-url origin [email protected]:andreyz4k/expcoder.git
RUN julia --project=/workspaces/expcoder -e 'using Pkg; Pkg.instantiate(); using Revise; using solver'
LABEL org.opencontainers.image.source=https://github.com/andreyz4k/expcoder