diff options
| author | Lars Wirzenius <liw@liw.fi> | 2014-10-03 15:07:11 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2014-10-03 15:07:33 +0100 |
| commit | 5cfa9c893e92d8d765c01e766f3ac3ffe5de32e3 (patch) | |
| tree | 0e9e06a2dcd00c608771201d3d8085c598eabb7a /jenkinstool-real.conf | |
| parent | 32c71772fd910dead159e40670aeb0b534cd05cf (diff) | |
| download | jenkinstool-5cfa9c893e92d8d765c01e766f3ac3ffe5de32e3.tar.gz | |
Make disks 8G in size, so they don't fill all the time
Plus other changes, accidentally committed.
Diffstat (limited to 'jenkinstool-real.conf')
| -rw-r--r-- | jenkinstool-real.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkinstool-real.conf b/jenkinstool-real.conf index b55021e..38765f6 100644 --- a/jenkinstool-real.conf +++ b/jenkinstool-real.conf @@ -1,3 +1,4 @@ [config] log = /mnt/scratch/liw-scratch/jenkinstool.log jenkins-host = jenkins +mirror = http://192.168.122.1/debian |