From 2c2e70842d1ab27409975efc48524c17f8863d9d Mon Sep 17 00:00:00 2001
From: Nikolaos Kakouros <nkak@kth.se>
Date: Fri, 29 Jan 2021 17:49:08 +0100
Subject: [PATCH] wip
---
headstart-core.bash | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/headstart-core.bash b/headstart-core.bash
index 7961751..1e592e3 100644
--- a/headstart-core.bash
+++ b/headstart-core.bash
@@ -161,5 +161,11 @@ function headstart() {
fi
fi
+ if [[ "${rest[*]}" == '' ]]; then
+ trap - ERR
+ @go
+ return
+ fi
+
@go "${rest[@]}"
}
--
GitLab