diff --git a/Dockerfile b/Dockerfile index dca8d0c..dd1c6f6 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,8 +9,8 @@ RUN sed -i 's/^# *\(en_US.UTF-8\)/\1/' /etc/locale.gen \ && echo "export LANG=en_US.UTF-8" >> ~/.bashrc \ && echo "export LANGUAGE=en_US.UTF-8" >> ~/.bashrc -RUN git clone https://github.com/purescript/pursuit.git --depth 1 -RUN git clone https://github.com/purescript/pursuit-backups.git --depth 1 +RUN git clone https://github.com/purescript/pursuit.git +RUN git clone https://github.com/purescript/pursuit-backups.git VOLUME pursuit/data RUN mkdir -p pursuit/data/verified