diff options
Diffstat (limited to 'jenkins-scripts')
| -rwxr-xr-x | jenkins-scripts/basic_settings.sh | 4 | ||||
| -rwxr-xr-x | jenkins-scripts/system_type.sh | 3 |
2 files changed, 6 insertions, 1 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 diff --git a/jenkins-scripts/system_type.sh b/jenkins-scripts/system_type.sh index 9aeea20d..ca5f893f 100755 --- a/jenkins-scripts/system_type.sh +++ b/jenkins-scripts/system_type.sh @@ -17,7 +17,8 @@ IFS=',' for i in "basebuild,basebuild" \ "centos,centos" \ "trusty,trusty" \ - "xenial,xenial" + "xenial,xenial" \ + "bionic,bionic" do set -- $i if [[ $HOST == *"$1"* ]]; then SYSTEM_TYPE="$2" |