diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2017-08-02 17:03:03 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-08-03 16:22:39 -0400 |
| commit | 4c5ea6af7385064575531b1572c9bebf999b005d (patch) | |
| tree | c8528a53c4157d3e5b945149e887f5eaf117a247 /hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d | |
| parent | 34c1dd358e6879664f12703ccdcd1e88f11854b1 (diff) | |
| download | jenkins.debian.net-4c5ea6af7385064575531b1572c9bebf999b005d.tar.xz | |
reproducible: Add two new armhf builders (jtk1b, jtx1b).
Temporarily disable two armhf build nodes (jtk1a down, ff64a too
slow).
Add an additional build job, as the new machines have more capacity
than the old.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d')
| -rw-r--r-- | hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions | 1 | ||||
| -rw-r--r-- | hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions b/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions new file mode 100644 index 00000000..2318f84e --- /dev/null +++ b/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions @@ -0,0 +1 @@ +Acquire::Languages "none"; diff --git a/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/jtk1b-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + |