diff options
| -rw-r--r-- | hosts/bpi0-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 | ||||
| -rw-r--r-- | hosts/cbxi4pro0-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 | ||||
| -rw-r--r-- | hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 | ||||
| -rw-r--r-- | hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/hosts/bpi0-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/bpi0-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/bpi0-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + diff --git a/hosts/cbxi4pro0-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/cbxi4pro0-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/cbxi4pro0-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + diff --git a/hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + diff --git a/hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy new file mode 100644 index 00000000..9e738254 --- /dev/null +++ b/hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy @@ -0,0 +1,2 @@ +Acquire::http::Proxy "http://10.0.0.15:8000/"; + |