diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-02-16 13:56:52 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-02-16 13:57:09 +0100 |
| commit | ad6c3be3ec60b8ba6d83e25fb0a4ab1aaa36d8d3 (patch) | |
| tree | 467bec4245fb2e758005d5912339bcc7ca763f28 /hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy | |
| parent | fdee3f55658c915cb3598fada33d9a8f824299f1 (diff) | |
| download | jenkins.debian.net-ad6c3be3ec60b8ba6d83e25fb0a4ab1aaa36d8d3.tar.xz | |
reproducible Debian: add two new armhf hosts and their maintenace jobs, thanks vagrant
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy')
| -rw-r--r-- | hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy b/hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + |