diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-06-02 13:28:28 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-02 13:28:28 +0200 |
commit | 5a5ea9f7c7123a299324fd2020e90ef1b43b06f8 (patch) | |
tree | 59d2acd4be285defeac1743d6cd55597e087e6e8 /hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | 344e2a492a776601c7e3b1843102d6918ba30cf0 (diff) | |
download | jenkins.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/80proxy | 2 |
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/"; + |