diff options
author | Vagrant Cascadian <vagrant@debian.org> | 2017-09-07 21:05:06 -0700 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-09-16 15:20:18 +0200 |
commit | 1791bed0c22b51e5feddc5a5230271f693fe1de2 (patch) | |
tree | 971503789fc315cf2b41f1f415671b7a0546386b /hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d | |
parent | 32cc781c3545909105b6b50e66c11c606f5448a9 (diff) | |
download | jenkins.debian.net-1791bed0c22b51e5feddc5a5230271f693fe1de2.tar.xz |
reproducible: Add new armhf builder, jtx1c.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d')
-rw-r--r-- | hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions | 1 | ||||
-rw-r--r-- | hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions b/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions new file mode 100644 index 00000000..2318f84e --- /dev/null +++ b/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions @@ -0,0 +1 @@ +Acquire::Languages "none"; diff --git a/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + |