From ad6c3be3ec60b8ba6d83e25fb0a4ab1aaa36d8d3 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 16 Feb 2017 13:56:52 +0100 Subject: reproducible Debian: add two new armhf hosts and their maintenace jobs, thanks vagrant Signed-off-by: Holger Levsen --- hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy (limited to 'hosts/p64b-armhf-rb.debian.net/etc/apt/apt.conf.d/80proxy') 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/"; + -- cgit v1.2.3-70-g09d2