From 1968d47f2f76ffe0a644782d5b278400c929b5a4 Mon Sep 17 00:00:00 2001
From: Loic Nageleisen <l.nageleisen@adhoc-gti.com>
Date: Mon, 25 Jun 2018 11:07:59 +0200
Subject: [PATCH] Clean up tmp after push

---
 push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push b/push
index 1ee3322..4583861 100755
--- a/push
+++ b/push
@@ -42,4 +42,4 @@ if scp -q -r "${APPLY_ROOT}"/{groups,units,run,lib} "$remote":"$tmp"; then
 fi
 
 # shellcheck disable=SC2029
-ssh -A "$remote" "cd '$tmp'; ./run $vflag ${targets[*]}"
+ssh -A "$remote" "cd '$tmp' && ./run $vflag ${targets[*]} && cd -; rm -rf '$tmp'"