From 522dac7e77626eec502aa3f1f37d74761240624e Mon Sep 17 00:00:00 2001
From: Martin Blazik <martin.blazik@gooddata.com>
Date: Mon, 10 Jan 2022 15:34:05 +0100
Subject: [PATCH] Dump CLI arguments

---
 bin/argsdump | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 bin/argsdump

diff --git a/bin/argsdump b/bin/argsdump
new file mode 100755
index 0000000..013b9d2
--- /dev/null
+++ b/bin/argsdump
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+MARK=${MARK:-}
+
+echo "self=$0"
+index=0
+for arg in "$@"; do
+  index=$[ $index + 1 ]
+  echo "$index=${MARK}${arg}${MARK}"
+done