commit by to_remotes 2023-10-05 09:22:13 +0200 from vmdevac

init.sh

@@ -75,14 +75,22 @@ else
 
   if [ "$ready_to_pull" = "yes" ]; then
     echo "preparing"
+
+
+    if grep -Fxq "git.service.wiseadvice.eu" $HOME/.ssh/config
+    then
+       echo "ssh configuration already set"
+    else
        cat <<EOT >>  $HOME/.ssh/config
 Host git.service.wiseadvice.eu
         HostName git.service.wiseadvice.eu
         IdentityFile ~/.ssh/deploy_key
         Port 8422
         IdentitiesOnly yes
-
 EOT
+    fi
+
+    
     mkdir -p $WA_REPO
 
     echo "export CLIENT_NAME=$CLIENT_NAME" > $WA_REPO/export_client_name.sh