diff options
Diffstat (limited to 'jenkins-scripts')
| -rwxr-xr-x | jenkins-scripts/basic_settings.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-scripts/basic_settings.sh b/jenkins-scripts/basic_settings.sh index 66dcc978..d714185c 100755 --- a/jenkins-scripts/basic_settings.sh +++ b/jenkins-scripts/basic_settings.sh @@ -35,7 +35,7 @@ Host * ServerAliveInterval 60 # we don't want to do SSH host key checking on spin-up systems -Host 10.30.96.* 10.30.97.* +Host 10.30.72.* StrictHostKeyChecking no UserKnownHostsFile /dev/null EOSSH |