Viendo ~

gbenm · Dec 24, 2021 · c3c024e · c3c024e
1 parent 3dbe1f0
commit c3c024e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -6,4 +6,5 @@ env PATH="$binPath:$wdir/utils:${PATH}"
 run rm -r ~/pintos && ln -sf $wdir ~/pintos
 copy checker $binPath/checker
 copy setOutputFrom $binPath/setOutputFrom
+run expand ~
 entrypoint ["checker"]
diff --git a/loader.sh b/loader.sh