From c3c024e3f849801430bdee4595df3b88990be9f0 Mon Sep 17 00:00:00 2001
From: gbenm <benyamin.galeano@gmail.com>
Date: Thu, 23 Dec 2021 23:49:31 -0600
Subject: [PATCH] Viendo ~

---
 Dockerfile | 1 +
 loader.sh  | 8 --------
 2 files changed, 1 insertion(+), 8 deletions(-)
 delete mode 100644 loader.sh

diff --git a/Dockerfile b/Dockerfile
index 263e10f..8f20940 100644
--- 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
deleted file mode 100644
index 647f4f7..0000000
--- a/loader.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh -l
-
-phase=$1
-
-cd /pintos
-echo "Target $phase"
-
-docker build -f actions.Dockerfile --build-arg phase="$phase" .