From 49c5c319c406748bc6d4c01d3a56717390d9550e Mon Sep 17 00:00:00 2001
From: Pavel 'LEdoian' Turinsky <ledoian@matfyz.cz>
Date: Fri, 7 Jan 2022 02:59:15 +0100
Subject: [PATCH] Pass parameters to remote deployment

---
 remote_deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/remote_deploy.sh b/remote_deploy.sh
index 7496dc8..4deb949 100755
--- a/remote_deploy.sh
+++ b/remote_deploy.sh
@@ -18,5 +18,5 @@ DIR=
 ssh -l "$USER" "$HOST" -t "
 	set -eu
 	cd $DIR
-	./deploy.sh
+	./deploy.sh $*
 	"