From 72263bf4754cd9d1dfc4a12eeac9523dd2d12002 Mon Sep 17 00:00:00 2001 From: Michael Grote Date: Fri, 21 Jul 2023 19:04:24 +0200 Subject: [PATCH] syntax --- x | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/x b/x index 6af3daa..7b1894d 100644 --- a/x +++ b/x @@ -13,27 +13,27 @@ GIT_USER_MAIL=michael.grote@posteo.de GIT_REPO_REMOTE_NAME=origin # Checks -if [ -z $GIT_REPO_PATH ]; then +if [ -z $GIT_REPO_PATH ] ; then echo "GIT_REPO_PATH is not set." exit 3 fi -if [ -z $GIT_REPO_BRANCH ]; then +if [ -z $GIT_REPO_BRANCH ] ; then echo "GIT_REPO_BRANCH is not set." exit 3 fi -if [ -z $GIT_USERNAME ]; then +if [ -z $GIT_USERNAME ] ; then echo "GIT_USERNAME is not set." exit 3 fi -if [ -z $GIT_USER_MAIL ]; then +if [ -z $GIT_USER_MAIL ] ; then echo "GIT_USER_MAIL is not set." exit 3 fi -if [ -z $GIT_REPO_REMOTE_NAME ]; then +if [ -z $GIT_REPO_REMOTE_NAME ] ; then echo "GIT_REPO_REMOTE_NAME is not set." exit 3 fi -if [ -z $DEVICES ]; then +if [ -z $DEVICES ] ; then echo "DEVICES is not set." exit 3 fi @@ -41,9 +41,9 @@ fi git config --global user.email "$GIT_USER_MAIL" git config --global user.name "$GIT_USERNAME" -if [ -d "$GIT_REPO_PATH" ]; then +if [ -d "$GIT_REPO_PATH" ] ; then cd "$GIT_REPO_PATH" - if [ -d ".git" ]; then + if [ -d ".git" ] ; then git pull "$GIT_REPO_REMOTE_NAME" "$GIT_REPO_BRANCH" else echo "Error: The directory exists but is not a Git repository." @@ -63,10 +63,12 @@ while read -r FQDN SSH_KEY_PATH; do # bereinige FQDN FQDN=$(echo "$FQDN" | tr -d "[:space:]") # prüfe ob Key existiert - if [ ! -e "$SSH_KEY_PATH" ]; then + if [ ! -e "$SSH_KEY_PATH" ] ; then echo "File $SSH_KEY_PATH does not exist." + echo "cant not export $FQDN config." exit 2 fi + echo "export $FQDN config." ssh -n -i "$SSH_KEY_PATH" "$FQDN" "/export show-sensitive" > "config_${FQDN}.rsc" git add "config_${FQDN}.rsc" git commit -m "update config_${FQDN}"