From c8004e1e0ebb9be02dca6095c54c8d0c84ec6f72 Mon Sep 17 00:00:00 2001
From: gbenm <benyamin.galeano@gmail.com>
Date: Thu, 23 Dec 2021 23:52:41 -0600
Subject: [PATCH] HOME fixed

---
 Dockerfile | 1 -
 checker    | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 8f20940..263e10f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,5 +6,4 @@ 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/checker b/checker
index dd11ef8..d6925cb 100755
--- a/checker
+++ b/checker
@@ -1,6 +1,7 @@
 #!/bin/bash
 
 export PINTOSPH=$1
+export HOME=/root
 
 echo $PINTOSPH $HOME
 cd $PINTOSPH