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/80proxy | |
| 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/80proxy')
| -rw-r--r-- | hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 |
1 files changed, 2 insertions, 0 deletions
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/"; + |