From ee0200ef35f086dcb6862deae831053e6f79ca3a Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Thu, 5 Oct 2017 10:58:12 -0700 Subject: reproducible debian: Rename armhf host odxu4 to odxu4a. Signed-off-by: Mattia Rizzolo --- hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions | 1 + hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 ++ 2 files changed, 3 insertions(+) create mode 100644 hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions create mode 100644 hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/80proxy (limited to 'hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d') diff --git a/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions b/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions new file mode 100644 index 00000000..2318f84e --- /dev/null +++ b/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/10no-package-descriptions @@ -0,0 +1 @@ +Acquire::Languages "none"; diff --git a/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/odxu4a-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + -- cgit v1.2.3-54-g00ecf