Merge pull request #139 from AI-Planning/nirlipo-patch-ENHSP-remove-args

Remove args from run
AI-Planning · Feb 20, 2024 · 4d3244a · 4d3244a
2 parents 3d3d8c4 + b5cb807
commit 4d3244a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/planutils/packages/enhsp-2020/run b/planutils/packages/enhsp-2020/run
@@ -1,3 +1,7 @@
 #!/bin/bash
 
-singularity run -e $(dirname $0)/enhsp-2020.sif $@
+DOMAIN=$1
+PROBLEM=$2
+shift 2
+
+singularity run -e $(dirname $0)/enhsp-2020.sif -o $DOMAIN -f $PROBLEM >> plan $@