From a483e9680e9d4fa3f5690e37463dc1d599e42bf2 Mon Sep 17 00:00:00 2001 From: ag Date: Thu, 5 Oct 2023 09:22:13 +0200 Subject: [PATCH] commit by to_remotes 2023-10-05 09:22:13 +0200 from vmdevac --- init.sh | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/init.sh b/init.sh index 8587fd6..74af309 100755 --- a/init.sh +++ b/init.sh @@ -75,14 +75,22 @@ else if [ "$ready_to_pull" = "yes" ]; then echo "preparing" - cat <> $HOME/.ssh/config + + + if grep -Fxq "git.service.wiseadvice.eu" $HOME/.ssh/config + then + echo "ssh configuration already set" + else + cat <> $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