summaryrefslogtreecommitdiffstats
path: root/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2017-06-02 13:28:28 +0200
committerHolger Levsen <holger@layer-acht.org>2017-06-02 13:28:28 +0200
commit5a5ea9f7c7123a299324fd2020e90ef1b43b06f8 (patch)
tree59d2acd4be285defeac1743d6cd55597e087e6e8 /hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy
parent344e2a492a776601c7e3b1843102d6918ba30cf0 (diff)
downloadjenkins.debian.net-5a5ea9f7c7123a299324fd2020e90ef1b43b06f8.tar.xz
reproducible Debian: add 3 new armhf nodes and pbuilder/schroot-setup jobs for them, thanks to Vagrant for setup+hosting
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy')
-rw-r--r--hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy2
1 files changed, 2 insertions, 0 deletions
diff --git a/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy
new file mode 100644
index 00000000..9e738254
--- /dev/null
+++ b/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy
@@ -0,0 +1,2 @@
+Acquire::http::Proxy "http://10.0.0.15:8000/";
+