diff options
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
| -rwxr-xr-x | jenkins-scripts/basic_settings.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh index daa3b938..0d07c148 100755 --- a/jenkins-scripts/basic_settings.sh +++ b/jenkins-scripts/basic_settings.sh @@ -55,6 +55,10 @@ Host github.com StrictHostKeyChecking no UserKnownHostsFile /dev/null +Host gitlab.com + StrictHostKeyChecking no + UserKnownHostsFile /dev/null + EOSSH cat <<EOKNOWN > /etc/ssh/ssh_known_hosts |