diff options
-rw-r--r-- | jenkinstool-real.conf | 2 | ||||
-rwxr-xr-x | vm-all | 2 | ||||
-rw-r--r-- | vm-data/common.conf | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index d0d5817..b55021e 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,3 @@ [config] -log = /home/liw/UNBACKED/jenkinstool.log +log = /mnt/scratch/liw-scratch/jenkinstool.log jenkins-host = jenkins @@ -10,7 +10,7 @@ jenkins-sid-amd64 jenkins-sid-i386 " -TRIES=10 +TRIES=20 DELAY=1 ssh_is_open() diff --git a/vm-data/common.conf b/vm-data/common.conf index ea97c0d..c927df3 100644 --- a/vm-data/common.conf +++ b/vm-data/common.conf @@ -1,6 +1,6 @@ [config] log = vmdebootstrap.log -mirror = http://cdn.debian.net/debian +mirror = http://192.168.122.1/debian enable-dhcp = yes size = 4G verbose = yes |