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