Forzando path

gbenm · Dec 24, 2021 · a790e84 · a790e84
1 parent d8b22fb
commit a790e84
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,9 +1,9 @@
 from gbenm/pintos:1.0.0
-arg wpath=/github/workspace
-workdir $wpath
-env PATH="/gbenm-actions:$wpath/utils:${PATH}"
-run echo $PATH
-run ln -sf . ~/pintos
-copy checker /gbenm-actions/checker
-copy setOutputFrom /gbenm-actions/setOutputFrom
+arg wdir=/github/workspace
+arg binPath=/github/workspace
+workdir $wdir
+env PATH="$binPath:$wdir/utils:${PATH}"
+run ln -sf $wdir ~/pintos
+copy checker $binPath/checker
+copy setOutputFrom $binPath/setOutputFrom
 entrypoint ["checker"]