From 8299626d75b7edcf092736278824dfcfb4cb8069 Mon Sep 17 00:00:00 2001
From: Michael Grote <michael.grote@posteo.de>
Date: Fri, 21 Jul 2023 20:28:42 +0200
Subject: [PATCH] --quiet

---
 x | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/x b/x
index de273a1..783f1b4 100644
--- a/x
+++ b/x
@@ -44,13 +44,13 @@ git config --global user.name "$GIT_USERNAME"
 if [ -d "$GIT_REPO_PATH" ] ; then
   cd "$GIT_REPO_PATH"
   if [ -d ".git" ] ; then
-    git pull "$GIT_REPO_REMOTE_NAME" "$GIT_REPO_BRANCH"
+    git pull "$GIT_REPO_REMOTE_NAME" "$GIT_REPO_BRANCH" --quiet
   else
     echo "Error: The directory exists but is not a Git repository"
     exit 1
   fi
 else
-  git clone "$GIT_REPO_URL" "$GIT_REPO_PATH"
+  git clone "$GIT_REPO_URL" "$GIT_REPO_PATH" --quiet
 fi
 
 # Save the current value of IFS to restore later
@@ -72,7 +72,7 @@ while read -r FQDN SSH_KEY_PATH; do
   ssh -n -i "$SSH_KEY_PATH" "$FQDN" "/export show-sensitive" > "config_${FQDN}.rsc"
   # entferne Datumszeile
   sed -i -r '/^# [0-9]{4}-[0-9]{2}-[0-9]{2}\s[0-9]{2}\:[0-9]{2}\:[0-9]{2}\sby\sRouterOS\s[0-9\s\.]+/d' "config_${FQDN}.rsc"
-  git add "config_${FQDN}.rsc" --quiet
+  git add "config_${FQDN}.rsc"
   git commit -m "update config_${FQDN}" --quiet
 done <<< "$DEVICES"