update Dockerfile

jiro4989 · Jun 11, 2020 · c9d434e · c9d434e
1 parent 6645109
commit c9d434e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -11,4 +11,4 @@ RUN apt-get update -yqq \
 ENV PATH /root/.nimble/bin:$PATH
 RUN curl https://nim-lang.org/choosenim/init.sh -sSf > init.sh
 RUN sh init.sh -y \
-    && choosenim update devel
+    && choosenim devel