Working version of cloner, basic setup of git and so on

2018-02-08 15:09:47 +01:00
parent 0712ca5d16
commit aa601dc1fa
7 changed files with 109 additions and 2 deletions
--- a/6
+++ b/6
@@ -5,7 +5,9 @@ VOLUME /data

 RUN apk add --no-cache git bash

-
-CMD [ "/bin/bash" ]
+ADD checker/* src/* /usr/local/bin/
+
+
+CMD [ "/usr/local/bin/run-checker" ]